Alternatives and similar repositories for public

Users that are interested in public are comparing it to the libraries listed below

• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆138Updated 4 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated last year
• eazar001 / yesbot
  IRC Bot Written in Prolog
  ☆20Updated 4 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆72Updated 7 months ago
• vscosta / yap-6.3
  YAP Development release
  ☆15Updated 4 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆38Updated 7 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆56Updated this week
• EiffelSoftware / EiffelStudio
  Public mirror of https://svn.eiffel.com/eiffelstudio-public/trunk with 12 months delay, see https://github.com/EiffelSoftware/libraries f…
  ☆53Updated 2 months ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆227Updated 8 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 6 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 10 months ago
• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 8 years ago
• SquareBracketAssociates / OORP
  Object-Oriented Reengineering Patterns
  ☆36Updated 2 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆77Updated last month
• samer-- / prolog
  Prolog stuff
  ☆27Updated 6 years ago
• tioui / Eiffel_Game2
  A game library for EiffelStudio.
  ☆20Updated 9 months ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• SWI-Prolog / plweb
  SWI-Prolog web server sources for www.swi-prolog.org
  ☆19Updated last month
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• sspringer82 / programmingChallenges
  List of Platforms
  ☆14Updated 5 years ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 11 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago