Navigation: 

GNU Prolog for Mac OS X 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 4.30 MB
Downloads 889
OS Mac OS X
Installation Instal And Uninstall
Keywords Prolog environment, Prolog compiler, programming environment, Prolog, compiler, environment
Users' rating
(20 rating)
GNU Prolog for Mac OS XCompilers & InterpretersMac OS X
Add to saved freeware Report spyware
GNU Prolog for Mac OS X - logic Freeware Download Notice

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

GNU Prolog for Mac OS X freeware - The Latest User Reviews
GNU Prolog for Mac OS X 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. ...