Alternatives and similar repositories for prolog-checkers:

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

• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• JUrban / MPTP2
  ☆19Updated 7 years ago
• HackerFoo / startle
  Startle C Library
  ☆18Updated 5 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆12Updated last year
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 2 years ago
• EricZinda / InductorProlog
  Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
  ☆11Updated last year
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆18Updated last year
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated 2 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 8 months ago
• roboticslab-cseiitg / ProjectTartarus
  Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
  ☆19Updated last year
• SWI-Prolog / packages-pengines
  Pengines: Prolog engines
  ☆12Updated last week
• rewriting / tom
  ☆34Updated 4 years ago
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 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
• Anniepoo / swiplclpfd
  clp(fd) tutorial
  ☆19Updated 10 months ago
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆9Updated 4 years ago
• SWI-Prolog / packages-swipl-win
  Portable Qt-based console for SWI-Prolog by Carlo Capelli
  ☆10Updated 2 weeks ago
• alan-j-hu / Asparserations
  Asparserations is an LR(1) and LALR(1) parser generator frontend. It outputs JSON representing the parse table.
  ☆19Updated 2 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated 4 months ago
• RemuLang / proud
  The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…
  ☆14Updated 5 years ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• mfourne / prolog
  A prolog interpreter written in Haskell.
  ☆8Updated 4 years ago
• wouterbeek / prolog_graphviz
  A library for visualizing graphs in Prolog.
  ☆15Updated 4 months ago
• arcadio / data-logic
  Expert system with deductive querying and verification of constraints expressed in natural language
  ☆19Updated 6 months ago
• Lehs / BigZ
  Computational mathematics. Single cell arithmetic. Big integer arithmetic. Sets, groups, graphs, topology.
  ☆14Updated 7 years ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago