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 last week
- Java based Edinburgh Prolog parser☆11Updated last week
- JPL: The Prolog <-> Java interface☆58Updated last week
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 3 years ago
- Second Interpreter of Scheme Code [unofficial maintenance fork]☆28Updated 6 years ago
- A small dialect of Common Lisp based upon lisp500☆37Updated 11 years ago
- Armed Bear Common Lisp☆25Updated 6 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
- An implementation of Oz on top of Truffle and Graal☆42Updated 4 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- OPS5 Production System☆57Updated 12 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
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 4 months ago
- Port of SwiftyKanren to Kotlin☆19Updated 4 years ago
- Whole Platform Language Workbench☆28Updated last year
- Poplog☆21Updated 15 years ago
- HTTP server and client for Dylan☆22Updated last month
- Official Sagittarius Scheme repository☆59Updated last week
- Very fast and tiny 64-bit Lisp interpreter: object-oriented, dynamic and functional. Comes with a database, prolog-engine, coroutines, na…☆42Updated 7 years ago
- Java <-> XSB Prolog bridge library☆12Updated 5 years ago
- A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.☆17Updated 13 years ago
- Eclipse Common Lisp Editor☆35Updated 5 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 10 months ago
- Clojure program to exhaustively search for optimal Java programs☆21Updated 13 years ago
- A Scheme Interpreter for ARM Microcontrollers☆14Updated 11 years ago
- An object-oriented dialect of Scheme☆61Updated last week
- Forth metacompiler written in Lisp, for bootstrapping☆46Updated 4 years ago