prolog downloads

EulerSharp

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

New Version

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

Logtalk

3.43.0 download

... object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm ... object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. Logtalk main features ...

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

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