Alternatives and similar repositories for example-code:

Users that are interested in example-code are comparing it to the libraries listed below

• cycorp / api-suite
  The Java API suite for interacting with the Cyc inference engine and knowledge base.
  ☆35Updated 6 years ago
• cycorp / DistributedRepresentations
  ☆13Updated 9 years ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆37Updated 2 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 2 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 6 months ago
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆44Updated 5 years ago
• logicmoo / CYC_JRTL_with_CommonLisp
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆16Updated 2 years ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated 4 months ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 10 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• samer-- / prolog
  Prolog stuff
  ☆28Updated 5 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆25Updated last week
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• htm-community / sanity
  See your HTM run.
  ☆54Updated 8 years ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated last week
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 7 months ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 3 months ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆40Updated last month
• mcalejo / interprolog
  Java <-> XSB Prolog bridge library
  ☆12Updated 4 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated 2 years ago
• opennars / Narjure
  A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.
  ☆43Updated 8 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• quoll / mulgara
  An RDF TripleStore in Java
  ☆47Updated 3 years ago
• wouterbeek / prolog_rdf
  Advanced support for working with RDF in Prolog.
  ☆18Updated 8 months ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆36Updated 10 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago