Prolog

Web interface to a prolog interpreter, where you can load prolog programs, do consults, and visualize the resolution tree in SVG.

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...

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

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

Simple Object Oriented Programming Framework for Prolog


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

IISA - Intelligent Interface to Sequence Analysis is an expert system for biological sequence analysis using Bioperl and Prolog.


Platforms: Windows, Mac, Linux

About Squeak Squeak s ancestry goes back to the ARPA research community who created the Internet, and the Xerox Palo Alto Research Center which created many of our pervasive technologies, such as the personal computer, the windows and mouse user interface, desktop publishing, the Ethernet, and...


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

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


Platforms: Windows, Mac, Linux

PrologTab plugin integrates a Prolog inference engine with the Protege-2000 knowledge base.


Platforms: Windows, Mac, Linux

2P is a light-weight Prolog system (interpreter and API), featuring core minimality (suitable for applet and mobile computing), dynamic extensibility and configurability, seamless bi-directional integration with Java (and .NET in the .NET version)


Platforms: Windows, Mac, Linux

XGP is an integrated development environment for GNU Prolog. It extends Prolog with builtins for native Cocoa-based GUI (menus, dialogs) and simple interactive Quartz graphics. Much of the XGP IDE is itself implemented in Prolog.


Platforms: Mac

GGPrayer is an AI capable of playing any game described in the GameDescriptionLanguage defined in http://games.stanford.edu/.It uses Java to communicate to the gameserver and Prolog for reasoning. Info: http://bruno-wp.blogspot.com/search/label/Software


Platforms: Windows, Mac, Linux

HyperSpider (Java app) collects the link structure of a website. Data import/export from/to database and CSV-files. Export to Graphviz DOT, Resource Description Framework (RDF/DC), XML Topic Maps (XTM), Prolog, HTML. Visualization as hierarchy and map.


Platforms: Windows, Mac, Linux

PhyloPattern is a Java/Prolog API, helpful to simulate human reading of phylogenetic trees. Bioinformatician can: annotate trees, apply complex patterns to a tree to search specific architectures or extract information, compare trees with dynamically gen


Platforms: Windows, Mac, Linux

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

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

Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection.It has implementations in Java, C#, Python, javascript and Prolog.Via N3 it is interoperable with W3C Cwm.


Platforms: Windows

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