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 858
OS Linux
Installation Instal And Uninstall
Keywords Prolog environment, Prolog compiler, programming environment, Prolog, compiler, environment
Users' rating
(23 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.9.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

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

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

haXe for Linux

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

Gastona

1.20 freeware download

... is able to handle both the design and logic of an application simply from a text file. All with SQL capability (sqlite integrated). ...

Objeck

4.1.0 freeware download

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

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 Linux

4.1.0 freeware download

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

GLE for Mac OS X

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