| Project Name | Rank | Activity | Registered | Latest File | Downloads |
|---|---|---|---|---|---|
XSB |
4,527 | 98.30% | 2000-01-06 | 2007-08-30 | 60,651 |
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.
|
Download Now! | ||||
Network Agents |
33,046 | 87.59% | 2000-03-01 | 2003-05-02 | 19,444 |
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
|
Download Now! | ||||
Datalog Educational System |
19,320 | 92.75% | 2004-04-01 | 2009-03-10 | 19,162 |
The Datalog Educational System (DES) is a basic deductive database with both Datalog and SQL as query languages developed for education. It can be used from most common Prolog interpreters over any supported OS and from executables (Windows and Linux).
|
Download Now! | ||||
JLog/JScriptLog - Prolog in Java* |
25,534 | 90.41% | 2002-01-24 | 2007-09-12 | 15,789 |
|
Download Now! | ||||
Mercury |
56,499 | 78.78% | 2000-01-05 | 2003-01-28 | 15,240 |
Mercury is a modern logic/functional programming language. The Mercury system includes a
compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor
of logic programming languages such as Prolog.
|
Download Now! | ||||
XGP: Mac OS X Prolog IDE |
24,686 | 90.73% | 2003-01-11 | 2008-11-29 | 14,949 |
|
Download Now! | ||||
ECLiPSe CLP |
2,953 | 98.89% | 2006-09-20 | 2009-05-05 | 13,636 |
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, as well as for teaching of modelling, solving and search techniques.
|
Download Now! | ||||
Yet Another Prolog |
47,015 | 82.34% | 2001-04-03 | 2006-04-18 | 13,594 |
The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.
|
Download Now! | ||||
Jude |
35,419 | 86.70% | 2001-01-21 | 2001-03-07 | 13,470 |
Jude is a rapid application development tool to develop data management applications easy to mantain for developers and easy to use for end users.
|
Download Now! | ||||
GNU Prolog |
24,379 | 90.85% | 2000-08-14 | 2000-10-06 | 11,432 |
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
|
Download Now! | ||||