Find Prolog Software

Results 1 – 10 of 183
Display: Detail Images Filters   View:
Search Results
Project Name Rank Activity Registered Latest File Downloads
Add a filter to
Page: 1 2 3 ... 19 Next »
1 – 10 of 183 Results – Display 
  Advanced   Search Syntax

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
JLog/JScriptLog - Prolog in Java* - Screenshot Image JLog is a Prolog interpreter written in Java. It is fast and perfectly suited for education. It includes source editor, query panels, online help, animation primitives, and a GUI debugger. JScriptLog is Prolog in JavaScript. 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
XGP: Mac OS X Prolog IDE - Screenshot Image XGP is an integrated development environment that extends GNU Prolog to work with Cocoa under Macintosh OS X. It provides user interface and graphics facilities largely compatible with MacProlog32 by LPA. Requires Mac OS X version 10.2.1 or greater. 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!