Navigation: 

GNU Prolog for Linux 1.5.0 freeware

freeware screenshot
View Image

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 encouraging (comparable to commercial systems). ...

Author Daniel Diaz
Released 2021-06-09
Filesize 3.60 MB
Downloads 856
OS Linux
Installation Instal And Uninstall
Keywords Prolog environment, Prolog compiler, programming environment, Prolog, compiler, environment
Users' rating
(20 rating)
GNU Prolog for LinuxCompilers & InterpretersLinux
Add to saved freeware Report spyware
GNU Prolog for Linux - logic Freeware Download Notice

GNU Prolog for Linux Free Download - we do not host any GNU Prolog for Linux torrent files or links of GNU Prolog for Linux on rapidshare.com, depositfiles.com, megaupload.com etc. All GNU Prolog for Linux download links are direct GNU Prolog for Linux download from publisher site or their selected mirrors.

GNU Prolog for Linux freeware - The Latest User Reviews
GNU Prolog for Linux freeware - The Latest Versions History
1.5.0 Jun 9, 2021 New Release
1.4.5 Apr 25, 2014 New Release
1.4.4 Apr 25, 2013 New Release

Most popular Compilers & Interpreters freeware downloads

Logtalk

9.2.8.1 freeware download

... extensive libraries, making it a go-to choice for logic programming and artificial intelligence applications. One of ... makes it particularly suitable for applications requiring intensive logical reasoning and pattern matching. SWI-Prolog's development environment ...

New Version

GNU Prolog for Mac OS X

1.5.0 freeware download

... solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Features # Prolog system: ...

Objeck

4.1.0 freeware download

... and AMD64 architectures · General compiler optimizations (short-circuit logic, method inlining, constant folding, strength reduction and instruction simplification) ...

haXe for Mac OS X

3.4.2 freeware download

... This enables you to share and reuse code logic between different platforms without needing to rewrite the same thing again and again · haXe is ...

GNU Prolog for Linux

1.5.0 freeware download

... solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Features # Prolog system: ...

GNU Prolog for Windows (x32 bit)

1.5.0 freeware download

... solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Features # Prolog system: ...

Objeck Portable

4.1.0 freeware download

... and AMD64 architectures · General compiler optimizations (short-circuit logic, method inlining, constant folding, strength reduction and instruction simplification) ...

Objeck for Mac OS X

4.1.0 freeware download

... and AMD64 architectures · General compiler optimizations (short-circuit logic, method inlining, constant folding, strength reduction and instruction simplification) ...

GNU Prolog for Windows (x64 bit)

1.5.0 freeware download

... solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Features # Prolog system: ...

GLE for Windows

4.2.4 freeware download

... which is full featured with subroutines, variables, and logic control. GLE relies on LaTeX for text output and supports mathematical formulea in graphs and figures. ...