raydac / jprol
Yet another Java based Prolog engine
☆30Updated this week
Alternatives and similar repositories for jprol:
Users that are interested in jprol are comparing it to the libraries listed below
- Prolog programming for the Java platform.☆37Updated last year
- Java-based lightweight Prolog virtual machine☆34Updated 6 months ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆132Updated 3 years ago
- A mature programmer's text editor☆17Updated last year
- Eclipse Common Lisp Editor☆36Updated 4 years ago
- Java <-> XSB Prolog bridge library☆12Updated 4 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated this week
- JPL: The Prolog <-> Java interface☆54Updated last week
- Just a little toy System F interpreter, doesn't even have proper generics yet.☆12Updated 4 years ago
- Oberon by Example☆32Updated 8 months ago
- Advanced Scripting IDE for JVM based languages.☆28Updated 3 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 2 years ago
- Second Interpreter of Scheme Code [unofficial maintenance fork]☆28Updated 5 years ago
- ☆60Updated 10 months ago
- Optimized, immutable Java implementations of fixed-width, unsigned integers.☆32Updated 2 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
- My experimental programming language using Truffle☆110Updated 4 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- ☆14Updated 5 years ago
- A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.☆17Updated 12 years ago
- JX: The fast and flexible Java OS☆23Updated 8 years ago
- a Java VM implemented in Forth☆40Updated 12 years ago
- JTcl is an implementation of Tool Command Language written in Java☆59Updated 4 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆33Updated last month
- Resumable exceptions and delimited continuations for JVM☆39Updated 3 weeks ago
- Whole Platform Language Workbench☆27Updated 7 months ago
- Poplog☆21Updated 14 years ago
- A BASIC to JVM bytecode compiler☆49Updated last week
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago