Software DownloadsProlog Software

Shareware and Freeware Software Downloads:

prolog

Show: All Free

GNU Prolog for Linux 1.4.2

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 this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very...

09-Jun-2013
3.3 MB
Freeware
Screenshot
Download
More Info

GNU Prolog for Mac OS X 1.4.2

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 this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very...

26-Jun-2013
4.2 MB
Freeware
Screenshot
Download
More Info

GNU Prolog for Windows (x64 bit) 1.4.2

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 this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very...

26-May-2013
4.6 MB
Freeware
Screenshot
Download
More Info

GNU Prolog for Windows (x32 bit) 1.4.2

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 this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very...

16-Feb-2013
5.4 MB
Freeware
Screenshot
Download
More Info

Visual Prolog 7.1.7100

Visual Prolog7.1, Build 7100 Persional EditionVisual Prolog is a logical programming language that counts PDC Prolog and Turbo Prolog as predecessors. The goal of Visual Prolog is to support industrial strength programming of complex knowledge emphasized problems. It supports advanced client-server and three-tier solutions and is especially well suited for dealing with complex knowledge. It is a very powerful and safe programming language...

11-Feb-2009
22.6 MB
Freeware
Download
More Info

Visual Prolog 7.4 B7400 7400

Visual Prolog is a logical programming language that counts PDC Prolog and Turbo Prolog as predecessors. The goal of Visual Prolog is to support industrial strength programming of complex knowledge emphasized problems. Visual Prolog supports advanced client-server and three-tier solutions and is especially well suited for dealing with complex knowledge. Visual Prolog is a very safe and powerful programming language that combines the very best...

09-Feb-2013
24.6 MB
Freeware
Screenshot
Download
More Info

Axon Idea Processor 2010-2.10 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, size, and depth. Main features are:

Large, multi-level Workspace - The Axon workspace is 3-D, allowing more information to be visible, and more complex models to be built. The workspace is...

23-Oct-2012
6.4 MB
Freeware
Screenshot
Download
More Info

Universal Code Lines Counter 1.1.1

A fast and easy tool for counting source code, blank and comment lines of software projects for many programming/script languages.With this application you get a detailed report (as table and additionally as graphic) about the source code of your software project. It counts not only source code lines, but also blank, comment and even mixed lines (source code and comment in one line). Of course, also block comments are recognized if the chosen...

29-May-2010
2.9 MB
Freeware
Screenshot
Download
More Info

EulerSharp 2013-01 1.0

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.

23-Jan-2013
12.9 MB
Freeware
Download
More Info