Prolog
Advertisement
Lemmy v.4.5.200
A Vi-like programmers text editor that highlights many languages including; c, c++, html, prolog, lisp, pascal, cobol, etc. It allows opening/saving of files across ftp. Fully supports all Windows gui enhancements.
Advertisement
BProlog v.7 4
Welcome to B-Prolog, a versatile and efficient constraint logic programming (CLP) system B-Prolog is a Prolog system with extensions for programming concurrency, constraints, and interactive graphics.
Axon Idea Processor 2010-2.10 v.1.0
A 3-D idea visualization tool developed in Prolog - an AI language. Axon operates according to cognitive principles, supports both hierarchical and network architectures, and is object-based. Axon exploits visual attributes such as color, shape,
PlanetLab Visualizer v.2.0 Beta
PlanetLab Visualizer is a utility package that creates maps for visualizing the PlanetLab network. The program can either request data from Sophia if the user provides a Prolog query,
Definite Clause Deduction v.4.2.8
Analyze deduction algorithms. Definite Clause Deduction demonstrate various deduction algorithms, from the SLD resolution used by Prolog to the user manually unifying clauses.
Logtalk for Mac v.2.35.0
Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.
XGP v.1.1.1
XGP is an integrated development environment for GNU Prolog.
Pfc-prolix v.rc.0.1
Web interface to a prolog interpreter, where you can load prolog programs, do consults, and visualize the resolution tree in SVG.
PhyloPattern v.1.05
PhyloPattern is a Java/Prolog API, helpful to simulate human reading of phylogenetic trees.
TuProlog (2P) v.2.4.0
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 .
XSB v.1.0
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.