ePrivacy and GPDR Cookie Consent by Cookie Consent

GNU Prolog for Linux 1.5.0

GNU Prolog for Linux 1.5.0

GNU Prolog for Linux Full Download Summary

GNU Prolog for LinuxCompilers & InterpretersLinux

User Rating: 3.3 (6 votes)

top download editor's pick
  • File size: 3.60 MB
  • Platform: Linux
  • License: Open Source
  • Price: FREE
  • Downloads: Total: 494 | This Month: 0
  • Released: Jun 9, 2021
  • Publisher: Daniel Diaz
  • Publisher URL: http://www.gprolog.org/

GNU Prolog for Linux 1.5.0 Full Description

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

Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger.

The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets,...).

GNU Prolog also includes an efficient constraint 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:

* conforms to the ISO standard for Prolog (floating point numbers, streams, dynamic code,...).
* a lot of extensions: global variables, definite clause grammars (DCG), sockets interface, operating system interface,...
* more than 300 Prolog built-in predicates.
* Prolog debugger and a low-level WAM debugger.
* line editing facility under the interactive interpreter with completion on atoms.
* powerful bidirectional interface between Prolog and C.

# Compiler:

* native-code compiler producing stand alone executables.
* simple command-line compiler accepting a wide variety of files: Prolog files, C files, WAM files,...
* direct generation of assembly code 15 times faster than wamcc + gcc.
* most of unused built-in predicates are not linked (to reduce the size of the executables).
* compiled predicates (native-code) as fast as wamcc on average.
* consulted predicates (byte-code) 5 times faster than wamcc.

# Constraint solver:

* FD variables well integrated into the Prolog environment (full compatibility with Prolog variables and integers). No need for explicit FD declarations.
* very efficient FD solver (comparable to commercial solvers).
* high-level constraints can be described in terms of simple primitives.
* a lot of predefined constraints: arithmetic constraints, boolean constraints, symbolic constraints, reified constraints,...
* several predefined enumeration heuristics.
* the user can define his own new constraints.
* more than 50 FD built-in constraints/predicates.
constraints (in terms of the primitive), the solver is open and extensible (as opposed to black-box solvers like CHI

Supported Platforms & Last Changes

Currently the following architectures are supported:

* ix86 / GNU/Linux
* ix86 / Win32 using Cygwin (see file src/WINDOWS)
* ix86 / Win32 using MinGW (see file src/WINDOWS)
* ix86 / Win32 using MSVC++ (see file src/WINDOWS)
* ix86 / SCO
* ix86 / Solaris
* ix86 / FreeBSD
* ix86 / OpenBSD
* ix86 / NetBSD
* ix86 / Darwin (Mac OS X)
* x86_64 / GNU/Linux
* x86_64 / Solaris
* x86_64 / Win64 using MinGW64 (see file src/WINDOWS64)
* x86_64 / Win64 using MSVC++ (see file src/WINDOWS64)
* PowerPC / GNU/Linux
* PowerPC / Darwin (Mac OS X)
* PowerPC / NetBSD
* sparc / SunOS (4.1.3 or higher)
* sparc / Solaris
* sparc / NetBSD
* alpha / GNU/Linux
* alpha / OSF1
* mips / irix
free download

GNU Prolog for Linux 1.5.0 Bookmark

Hyperlink code:
Hyperlink and Intro code:
Hyperlink for Forum code:

GNU Prolog for Linux 1.5.0 Free Download Notice

Top 4 Download periodically updates software information of GNU Prolog for Linux 1.5.0 full version from the publisher, but some information may be slightly out-of-date.

Using warez version, crack, warez passwords, patches, serial numbers, registration codes, key generator, pirate key, keymaker or keygen for GNU Prolog for Linux 1.5.0 license key is illegal and prevent future development of GNU Prolog for Linux 1.5.0. Download links are directly from our mirrors or publisher's website, GNU Prolog for Linux 1.5.0 torrent files or shared files from free file sharing and free upload services, including Rapidshare, HellShare, HotFile, FileServe, MegaUpload, YouSendIt, SendSpace, DepositFiles, Letitbit, MailBigFile, DropSend, MediaMax, LeapFile, zUpload, MyOtherDrive, DivShare or MediaFire, are not allowed!

Your computer will be at risk getting infected with spyware, adware, viruses, worms, trojan horses, dialers, etc while you are searching and browsing these illegal sites which distribute a so called keygen, key generator, pirate key, serial number, warez full version or crack for GNU Prolog for Linux 1.5.0 download. These infections might corrupt your computer installation or breach your privacy. A keygen or key generator might contain a trojan horse opening a backdoor on your computer. Hackers can use this backdoor to take control of your computer, copy data from your computer or to use your computer to distribute viruses and spam to other people.

GNU Prolog for Linux 1.5.0 - Post Your Review

Visual Prolog 9 B902

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 knowledge emphasized problems. Visual Prolog supports advanced client-server and three-tier solutions and is especially well suited for dealing with complex knowledge. Visual Prolog is a ...
software pick

GNU Prolog for Mac OS X 1.5.0

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 gcc does ... of this executable can be quite small since GNU Prolog can avoid to link the code of ...
software pick

GNU Prolog for Windows (x32 bit) 1.5.0

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 gcc does ... of this executable can be quite small since GNU Prolog can avoid to link the code of ...
software pick

GNU Prolog for Windows (x64 bit) 1.5.0

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 Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does ... of this executable can be quite small since GNU Prolog can avoid to link the code of ...
software pick

TPC32 Compiler Source Code 1.0

Turbo Pascal compiler written in Delphi. This is not the "original" ... Delphi. This is TPC32, a Turbo Pascal compatible compiler written from scratch. It is completely source-code compatible with the Borland Turbo Pascal 7.0 command line compiler TPC.EXE. This means that it uses the same ... EXACTLY THE SAME compiled units and 16-bit code for x86. This source code shows all the beauty ...