Alternatives and similar repositories for libfactplusplus

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

• ethz-asl / libowlcpp
  A C++ library for working with OWL2 ontologies.
  ☆10Updated 9 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 2 months ago
• owlcs / jfact
  JFact repository
  ☆14Updated 3 years ago
• LEW21 / sparqlxx
  C++ semantic toolkit + sparqlite RDF database
  ☆19Updated 2 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆20Updated 10 years ago
• karmaresearch / vlog
  ☆56Updated last year
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated 2 years ago
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆39Updated last year
• SWI-Prolog / packages-swipl-win
  Portable Qt-based console for SWI-Prolog by Carlo Capelli
  ☆11Updated last month
• sisinflab-swot / cowl
  🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies
  ☆36Updated last week
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆53Updated last year
• benkard / cellspp
  A simple dataflow library for C++.
  ☆28Updated 6 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated last month
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆46Updated 3 years ago
• jrbn / vlog
  VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
  ☆17Updated 7 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• joshhanna / owllib
  OWL API for python, built using rdflib
  ☆13Updated 10 years ago
• cair / TsetlinMachineC
  A C implementation of the Tsetlin Machine
  ☆15Updated 6 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 7 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• AndriesSHP / Gellish
  Development of the Gellish Communicator reference application and tools for universal data exchange and data integration supporting Forma…
  ☆26Updated 6 years ago
• xflr6 / bitsets
  Ordered subsets over a finite domain
  ☆26Updated 2 weeks ago
• pkhuong / aerie
  Aerie: a regex-like engine nested word grammars
  ☆16Updated 3 years ago
• ontologyportal / sigmanlp
  NLP functionality on top of the Sigma system
  ☆17Updated 3 weeks ago
• SWI-Prolog / packages-cpp
  The SWI-Prolog C++ interface
  ☆35Updated this week
• fritzo / pomagma
  An inference engine for extensional untyped λ-calculus
  ☆3Updated this week