Prolog

AI::Prolog::Builtins is a Perl module with builtin predicates that AI::Prolog supports. Comments Comments begin with a % and terminate at the end of the line or begin with /* and terminate with */. Variables As in Prolog, all variables begin with an upper-case letter and are not quoted.... Platforms: *nix

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of... Platforms: Linux

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of... Platforms: Windows

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of... Platforms: Mac

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of... Platforms: Windows

C#Prolog is a prolog interpreter written in C# designed to be easily integrated in C# programs. The most important characteristics that this tool has are: reliable and fairly fast interpreter, command line interface, builtin DCG, XML-predicates, persistent predicates (using Firebird RDBMS),... Platforms: Windows

Some of Python's powerful meta-programming features are used to enable writing Python functions which include Prolog-like statements. Such functions load a Prolog-like database. When coupled with a suitable inference engine for logic databases, this is a way to add logical programming -- the last... Platforms: Windows, Mac, *nix, Python, BSD Solaris

A Prolog expert system supporting querying and extending the knowledge base from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills). Platforms: Windows, Mac, Linux

Am implementation of ISO Prolog standard as Java library. We have moved to savannah: https://savannah.gnu.org/projects/gnuprologjava/ Platforms: Windows, Mac, Linux

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM. Platforms: Windows, Mac, Linux

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. Platforms: Windows, Mac, Linux

ProDT is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, and to support any standard Prolog implementation. Currently is being supported SWI Prolog, B-Prolog and XSB Prolog Platforms: Windows, Mac, Linux

Simple Object Oriented Programming Framework for Prolog Platforms: Windows, Mac, Linux

PrologTab plugin integrates a Prolog inference engine with the Protege-2000 knowledge base. Platforms: Windows, Mac, Linux

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. Platforms: Mac

Prolog+CG 2.0 is an implementation in Java of standard Prolog, but with extensions for handling the Conceptual Graph theory of John Sowa. Object-Oriented extensions are also provided. CGs are first-class data structures, allowing easy reasoning about CGs. Ontologies are also supported. Prolog+CG... Platforms: *nix

YProlog is a pocket Prolog engine written in 100% Java. YProlog provides a number of fast and easy Java-Prolog interfacing functions that enables the Prolog database to be used like an SQL-type database: - fast consult and retract operations - "serialize" database contents into text - load... Platforms: *nix

Logtalk is an open source object-oriented extension to the Prolog programming language. Integrating logic programming with object-oriented and event-driven programming, it is compatible with most Prolog compilers. Logtalk supports both prototypes and classes. In addition, it supports... Platforms: *nix

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, Logtalk includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based... Platforms: Mac

Prolog+CG 2.0 is an implementation in Java of standard Prolog, but with extensions for handling the Conceptual Graph theory of John Sowa. Object-Oriented extensions are also provided. CGs are first-class data structures, allowing easy reasoning about CGs. Ontologies are also supported. Prolog+CG... Platforms: Mac