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