tau-prolog / draw-derivation-trees

Related projects: ⓘ

• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 4 months ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆16Updated last year
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆12Updated 9 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated 11 months ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆35Updated 6 years ago
• prologbyexample / code
  ☆26Updated last year
• jkoppel / ecta
  ☆33Updated 5 months ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆38Updated last year
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆18Updated 3 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated last week
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆17Updated last year
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆26Updated 12 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 9 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆18Updated 8 years ago
• pa-ba / equivalence
  ☆10Updated 8 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 2 years ago
• T-Brick / lean2wasm
  Tool for compiling Lean to WASM
  ☆12Updated 6 months ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆26Updated 6 years ago
• JanWielemaker / tabling_library
  Benoit Desouter's library for tabling on delimited continuations
  ☆9Updated 8 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆36Updated this week
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 4 years ago
• meta-logic / lltp
  TPTP linear logic version
  ☆13Updated 4 years ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 6 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆17Updated 3 months ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆22Updated last month
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 4 months ago