Alternatives and similar repositories for libfactplusplus

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

• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated 2 months ago
• rewriting / tom
  ☆34Updated 5 years ago
• rorchard / FuzzyCLIPS
  A fuzzy logic extension of the CLIPS
  ☆75Updated 10 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
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated 3 weeks ago
• 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 3 months ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• cair / TsetlinMachineC
  A C implementation of the Tsetlin Machine
  ☆16Updated this week
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆57Updated 3 weeks ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 4 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• brycelelbach / prana
  Prana is a library providing a generic AST data structure called utree
  ☆25Updated 14 years ago
• lambdazen / pixy
  Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack
  ☆36Updated last week
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 10 months 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
  ☆21Updated 2 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated this week
• ha-mo-we / Racer
  Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
  ☆113Updated 7 years ago
• conda-forge / cling-feedstock
  A conda-smithy repository for cling.
  ☆11Updated 8 months 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:
  ☆50Updated 3 years ago
• dgarijo / VideoGameOntology
  Repository for developing collaboratively the video game ontology
  ☆16Updated 9 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 7 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• SWI-Prolog / packages-cpp
  The SWI-Prolog C++ interface
  ☆36Updated last week
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 13 years ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated last week
• dontcallmedom / spiff
  A diff tool that highlights changes at the token (rather than line) level
  ☆13Updated 2 years ago
• vscosta / yap
  ☆60Updated 3 weeks ago