mcalejo / interprologLinks
Java <-> XSB Prolog bridge library
☆12Updated 4 years ago
Alternatives and similar repositories for interprolog
Users that are interested in interprolog are comparing it to the libraries listed below
Sorting:
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Java-based lightweight Prolog virtual machine☆34Updated 11 months ago
- Port of the Shen programming language to the Graal runtime☆26Updated 7 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 3 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Resumable exceptions and delimited continuations for JVM☆43Updated last month
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 3 weeks ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆136Updated 3 years ago
- Lua/Terra + Java Native Interface☆21Updated 8 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- Port of SwiftyKanren to Kotlin☆17Updated 4 years ago
- JPL: The Prolog <-> Java interface☆55Updated last month
- Prolog programming for the Java platform.☆38Updated last year
- Datalog implemented in minikanren☆24Updated 7 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Advanced Scripting IDE for JVM based languages.☆28Updated 3 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- Yet another Java based Prolog engine☆30Updated last month
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- Parser in Java for Lisp S-expressions.☆10Updated 6 months ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- JVM bytecode assembler as REST api☆10Updated last year
- Java library for fuzzy logic and reasoning using Java and/or the Jess Expert System Shell☆24Updated 7 years ago
- Clojure API for RDF and SPARQL - provides consistent access to APIs including Jena and Sesame☆55Updated 4 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- Prolog binding for terminusdb-store☆21Updated 3 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago