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
- Prolog programming for the Java platform.☆38Updated last year
- Port of SwiftyKanren to Kotlin☆17Updated 4 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 2 years ago
- Advanced Scripting IDE for JVM based languages.☆28Updated 3 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- ☆36Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 weeks ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 11 months ago
- Resumable exceptions and delimited continuations for JVM☆42Updated last month
- Apply and compose functions in Prolog☆19Updated 8 years ago
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last week
- Prolog binding for terminusdb-store☆21Updated 2 years ago
- Poplog☆21Updated 14 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19Updated last month
- Yet another Java based Prolog engine☆30Updated last month
- Parser in Java for Lisp S-expressions.☆10Updated 5 months ago
- Yes, Erlang in SWI-Prolog!☆11Updated 6 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- JVM bytecode assembler as REST api☆10Updated last year
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆58Updated 11 years ago