Alternatives and similar repositories for cyc-archive

Users that are interested in cyc-archive are comparing it to the libraries listed below

• seveno4 / EURISKO
  ☆61Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 3 weeks ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆48Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆131Updated 11 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆68Updated last year
• mthom / scryer-shen
  ☆57Updated 8 months ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated last month
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆123Updated 9 months ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆210Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆20Updated last year
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆25Updated 7 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆107Updated 4 months ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated last year
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated 2 months ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆81Updated last week
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆36Updated last year
• darius / cant
  A programming argot
  ☆57Updated last year
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year