Alternatives and similar repositories for prolog-checkers:

Users that are interested in prolog-checkers are comparing it to the libraries listed below

• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• SWI-Prolog / packages-pengines
  Pengines: Prolog engines
  ☆12Updated 3 weeks ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• ljedrz / blc
  Binary lambda calculus
  ☆10Updated 7 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated 2 years ago
• carld / lispkit
  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
  ☆53Updated last year
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆21Updated 2 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated this week
• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 7 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 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 6 years ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• Anniepoo / strangeloop
  Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'
  ☆19Updated 4 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆14Updated last year
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated 3 weeks ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• serge-sans-paille / mapping-line-to-offset
  ☆13Updated 3 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• SWI-Prolog / packages-http
  The SWI-Prolog HTTP server and client libraries
  ☆25Updated this week
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 9 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• matsud224 / wamcompiler
  Prolog implementation based on Warren's abstract machine
  ☆43Updated 5 years ago