prolog compiler freeware downloads

GNU Prolog for Linux

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

Logtalk

3.43.0 freeware download

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

Visual Prolog

9 B902 freeware 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 ...