Alternatives and similar repositories for natlog:

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

• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 8 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated 5 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 8 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 3 weeks ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 6 months ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆13Updated 2 months ago
• nick8325 / equinox
  Paradox model finder and equinox theorem prover for first-order logic.
  ☆20Updated last year
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆46Updated 5 months ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 5 months ago
• flix / book
  The Flix Programming Book
  ☆17Updated this week
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆17Updated last year
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 8 months ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 5 years ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 7 months ago