Alternatives and similar repositories for libfactplusplus

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

• owlcs / jfact
  JFact repository
  ☆16Updated 3 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆55Updated this week
• rewriting / tom
  ☆34Updated 4 years ago
• LEW21 / sparqlxx
  C++ semantic toolkit + sparqlite RDF database
  ☆19Updated 2 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated last month
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆20Updated 10 years ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆61Updated last year
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 6 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 10 months ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 8 months ago
• vscosta / yap
  ☆59Updated this week
• NREL / 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 2 weeks ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆15Updated 7 years ago
• SWI-Prolog / packages-swipl-win
  Portable Qt-based console for SWI-Prolog by Carlo Capelli
  ☆11Updated 2 weeks ago
• jafl / jx_application_framework
  JX is a C++ application framework and widget library (SDK) for use with the X Window System.
  ☆30Updated 3 weeks 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…
  ☆38Updated 10 years ago
• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆22Updated last month
• dajobe / librdf
  Redland librdf RDF API and triple stores
  ☆102Updated 11 months ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated this week
• jplevyak / dparser
  A Scannerless GLR parser/parser generater.
  ☆112Updated 4 months ago
• zorba-processor / zorba
  Zorba - the NoSQL processor
  ☆42Updated last year
• benkard / cellspp
  A simple dataflow library for C++.
  ☆28Updated 6 years ago
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆19Updated last year
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆39Updated last year