prolog downloads

GNU Prolog for Linux

1.5.0 download

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

GNU Prolog for Mac OS X

1.5.0 download

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

GNU Prolog for Windows (x32 bit)

1.5.0 download

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

GNU Prolog for Windows (x64 bit)

1.5.0 download

What is GNU Prolog for Windows x64 GNU Prolog for Windows x64 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 ...

Visual Prolog

9 B902 download

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

Logtalk

9.2.9.1 download

... as a robust and versatile implementation of the Prolog programming language, designed to cater to both novice ... of SWI-Prolog is its comprehensive support for various Prolog standards, ensuring compatibility and ease of use across ...

New Version

Universal Code Lines Counter

1.1.6 download

... Language 4/5 (MQL), Modula 2/3, MySQL, Perl, PHP, Prolog, Python, Ruby, VBScript/ASP, Visual Basic, XML Features of Universal Code Lines Counter at a glance: - Counting source code lines of ...

EulerSharp

10.16.15 download

EYE (formerly known as EulerSharp) is a free and open-source mathematical programming language that is designed to make it easy for users to write and execute mathematical programs. This software is ...