Alternatives and similar repositories for iclips

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

• hpi-swa / ipolyglot
  A polyglot kernel for Jupyter notebooks based on GraalVM.
  ☆99Updated 2 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆57Updated 4 months ago
• targodan / jupyter-swi-prolog
  A Jupyter Kernel for SWI-Prolog
  ☆25Updated 7 years ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆26Updated 14 years ago
• rorchard / FuzzyCLIPS
  A fuzzy logic extension of the CLIPS
  ☆77Updated 10 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆57Updated 2 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
• noxdafox / clips
  A Tool for Building Expert Systems
  ☆11Updated 4 years ago
• textile / textile-spec
  Textile specification
  ☆45Updated 14 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆37Updated last year
• rchowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆22Updated 3 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆82Updated 3 weeks ago
• terminusdb / terminusdb-bootstrap
  TerminusDB Bootstrap
  ☆67Updated 2 years ago
• earldouglas / codedown
  Extract code blocks from Markdown files
  ☆89Updated 3 weeks ago
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆100Updated 2 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆28Updated last year
• xflr6 / concepts
  Formal Concept Analysis with Python
  ☆120Updated 3 weeks ago
• MetaBorgCube / IceDust
  A language for data modeling and incremental computing of derived values
  ☆11Updated last year
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• diverse-project / k3
  action language providing open class mechanism to xtend/java
  ☆25Updated 2 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:
  ☆50Updated 3 years ago
• nchah / freebase-mql
  A review of the deprecated Freebase knowledge base and Metaweb Query Language (MQL). A brief comparison of MQL and GraphQL.
  ☆42Updated 8 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆24Updated 9 years ago
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆150Updated 3 months ago
• AdaCore / gnatcoll-db
  GNAT Components Collection – Database packages
  ☆14Updated 2 months ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 12 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago