raydac / jprolLinks
Yet another Java based Prolog engine
☆31Updated this week
Alternatives and similar repositories for jprol
Users that are interested in jprol are comparing it to the libraries listed below
Sorting:
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆140Updated 4 years ago
- Java-based lightweight Prolog virtual machine☆35Updated last year
- Prolog programming for the Java platform.☆39Updated this week
- Java based Edinburgh Prolog parser☆11Updated 6 months ago
- JPL: The Prolog <-> Java interface☆58Updated last week
- Java <-> XSB Prolog bridge library☆12Updated 5 years ago
- An implementation of Oz on top of Truffle and Graal☆42Updated 3 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 3 years ago
- OPS5 Production System☆57Updated 12 years ago
- My experimental programming language using Truffle☆113Updated 5 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- Armed Bear Common Lisp☆25Updated 6 years ago
- Implementation of language Self in Graal and Truffle☆13Updated 5 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last week
- Official Sagittarius Scheme repository☆58Updated this week
- SOMns: A Newspeak for Concurrency Research☆69Updated 10 months ago
- A small dialect of Common Lisp based upon lisp500☆37Updated 11 years ago
- a Java VM implemented in Forth☆41Updated 13 years ago
- ☆16Updated 6 years ago
- Java Compiler Kit (JKit)☆12Updated 8 years ago
- 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
- Phratch is based on Scratch with more features☆21Updated 6 years ago
- Poplog☆21Updated 15 years ago
- Eclipse Common Lisp Editor☆35Updated 4 years ago
- Second Interpreter of Scheme Code [unofficial maintenance fork]☆28Updated 6 years ago
- HTTP server and client for Dylan☆22Updated last week
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Updated 5 years ago
- Prolog Technology Theorem Prover☆12Updated last year
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 3 weeks ago