Alternatives and similar repositories for libfactplusplus

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

• rewriting / tom
  ☆34Updated 5 years ago
• LEW21 / sparqlxx
  C++ semantic toolkit + sparqlite RDF database
  ☆20Updated 2 years ago
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆20Updated 11 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆57Updated 4 months ago
• NatLabRockies / lk
  LK (Language Kit) is a simple but powerful scripting language that is designed to be small, fast, and easily embedded in other applicatio…
  ☆34Updated this week
• owlcs / jfact
  JFact repository
  ☆17Updated 3 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆28Updated last week
• dajobe / librdf
  Redland librdf RDF API and triple stores
  ☆103Updated last year
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 7 years ago
• vscosta / yap
  ☆62Updated 2 months ago
• SWI-Prolog / packages-cpp
  The SWI-Prolog C++ interface
  ☆37Updated 2 weeks ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated last week
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆57Updated 2 months ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated 3 weeks ago
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆20Updated last year
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆67Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆15Updated 8 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated this week
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆132Updated 4 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 13 years ago
• nathanielrb / ftmicroKanren
  First-order temporal logic programming with microKanren
  ☆19Updated 8 years ago
• wdv4758h / Yeppp
  *Unofficial* mirror of https://bitbucket.org/MDukhan/yeppp
  ☆40Updated 9 years ago
• cair / TsetlinMachineC
  A C implementation of the Tsetlin Machine
  ☆16Updated this week
• 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…
  ☆38Updated 11 years ago
• brycelelbach / prana
  Prana is a library providing a generic AST data structure called utree
  ☆25Updated 14 years ago
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago