Alternatives and similar repositories for iris-reasoner

Users that are interested in iris-reasoner are comparing it to the libraries listed below

• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆81Updated 7 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆66Updated 4 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆35Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 5 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 5 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆132Updated 4 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• cwi-swat / aterms
  The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …
  ☆24Updated 12 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last month
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated last year
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last week
• 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
• mthom / scryer-shen
  ☆57Updated 7 months ago
• lojikil / carML
  carML - a yummy and sweet ML dialect
  ☆19Updated 3 years ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆42Updated 9 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• enso-lang / enso
  ☆71Updated 5 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆29Updated 7 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆90Updated this week
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆31Updated last month
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆22Updated 3 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• a-yiorgos / smallprolog
  Small Prolog
  ☆14Updated 9 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated last month
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 3 years ago