mcalejo / interprolog
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
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Java-based lightweight Prolog virtual machine☆34Updated 6 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated this week
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 3 weeks ago
- Prolog programming for the Java platform.☆37Updated last year
- Advanced Scripting IDE for JVM based languages.☆28Updated 3 years ago
- An RDF TripleStore in Java☆46Updated 3 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆46Updated 2 years ago
- Port of SwiftyKanren to Kotlin☆17Updated 3 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Prolog binding for terminusdb-store☆21Updated 2 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆33Updated last month
- Datalog implemented in minikanren☆24Updated 7 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆132Updated 3 years ago
- Port of the Shen programming language to the Graal runtime☆26Updated 7 years ago
- JPL: The Prolog <-> Java interface☆54Updated last week
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- Clojure API for RDF and SPARQL - provides consistent access to APIs including Jena and Sesame☆56Updated 4 years ago
- ☆36Updated last year
- Prototype of a new constraint-logic programming language in Racket☆28Updated 10 years ago
- Programming in Tabled Prolog by David S Warren☆22Updated 4 years ago
- Yet another Java based Prolog engine☆30Updated this week
- Lua/Terra + Java Native Interface☆21Updated 7 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆77Updated 6 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- JVM bytecode assembler as REST api☆10Updated last year
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆70Updated last month