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
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆67Updated 5 months ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆35Updated last year
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆133Updated 4 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆90Updated 5 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆78Updated 6 months ago
• enso-lang / enso
  ☆71Updated 5 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• 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 last week
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆42Updated 9 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
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆69Updated last month
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last month
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 6 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆14Updated 9 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 10 months 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
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆131Updated 11 months ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 8 years ago
• ha-mo-we / Racer
  Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
  ☆114Updated 7 years ago
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆22Updated 3 years ago
• dalnefre / kernel_abe
  John Shutt's "Kernel" language implemented on ABE (C) runtime.
  ☆13Updated 7 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week
• 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