Alternatives and similar repositories for cyc-archive

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

• seveno4 / EURISKO
  ☆60Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 6 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 2 weeks ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 8 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆118Updated this week
• mthom / scryer-shen
  ☆56Updated 5 months ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆69Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated 2 weeks ago
• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆66Updated last year
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last week
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated last month
• 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
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆18Updated last year
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆34Updated 3 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• logicmoo / CYC_JRTL_with_CommonLisp
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆16Updated 2 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated 5 months ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆20Updated 9 months ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆79Updated last month
• argolab / dyna3
  Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd
  ☆57Updated 7 months ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago