HOME Programmingcompilers and interpreters GNU Prolog for Linux

GNU Prolog for Linux 1.4.2

Description of GNU Prolog for Linux 1.4.2:
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 / irixRelease notes: New Releasefix a bug in the compiler for byte-code with op/3 directive [ GNU Prolog for Linux full changelog ]

Supported OS: Linux

User reviews: GNU Prolog for Linux Download

Name: *
Email:
Review: *

 

Popular terms of download GNU Prolog for Linux:

Software downloads related to GNU Prolog for Linux

GNU Prolog for Mac OS X
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. more info download

GNU Prolog for Windows (x64 bit)
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. more info download

GNU Prolog for Windows (x32 bit)
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. more info download

F-Prot Antivirus for Linux Workstations (home use)
F-Prot Antivirus for Linux Workstations is designed for workstations running the Linux operating system. F-Prot Antivirus for Linux Workstations is free when used by personal users on personal workstations. more info download

Paragon NTFS for Linux
Paragon NTFS for Linux gives transparent access to any NTFS partition under Linux OS. So you and any application can browse these drives, read and change files, copy and create new files and folders. This download package is FREE and contains full... more info download

USB Redirector for Linux
Simply and powerful software solution for sharing and accessing USB devices over local network or Internet! USB Server for Linux allows to work with the remote USB devices as if they are physically plugged into your computer! more info download

WebNMS SNMP Agent For Linux
The Linux Operating System is becoming the popular open source operating systems in the world. more info download

Bacula for Linux
Bacula for Linux is a set of computer programs that permits the system administrator to manage backup, recovery, and verification of computer data across a network of computers of different kinds. more info download

Acronis True Image Server for Linux
Acronis True Image 9.1 Server for Linux provides comprehensive system protection and recovery of Linux servers and allows you to get back to business in minutes and minimize downtime. more info download

Recover Data for Linux
Recover Data for Linux hdd recovery tool to retrieve Linux data from Ext2 & ext3 partitions of Linux OS. Linux hdd retrieve is a Linux hdd data recovery tool to recover Linux hdd files & restore utmost possible data stored on corrupted Linux HDD. more info download

FindBugs
FindBugs, a program which uses static analysis to look for bugs in Java code. more info download

GNU Prolog for Mac OS X
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. more info download

News related to GNU Prolog for Linux

NSA Open Sources Ghidra For Linux, Windows, Mac NSA Open Sources Ghidra For Linux, Windows, Mac
Windows Subsystem for Linux Gains OpenSUSE Leap 15.1 Support - WinBuzzer   WinBuzzerOpenSUSE Leap 15.1 is the latest Linux distribution to be made available on Windows Subsystem for Linux (WSL) through the Microsoft Store.
Unity Editor is Now Officially Available for Linux - It's FOSS   It's FOSSUnity Editor for the cross-platform gaming engine Unity is now officially available for Linux. It comes with support for Ubuntu and CentOS.
Docker embraces Windows Subsystem for Linux 2 - ZDNet   ZDNetDocker has realized that Microsoft's new Windows Subsystem for Linux 2 has made Windows much more attractive both to Docker and its container developers ...
Top 10 screenshot and image annotation tools for Linux you should try out - H2S Media   H2S MediaThere are several tools available for Linux to capture screenshots, edit and annotate them, but I am here to discuss the best 10 screenshot capturing tools for ...
How to install Windows Subsystem for Linux 2 (WSL 2) on Windows 10 - BetaNews   BetaNewsA month ago, at its Build 2019 developer conference, Microsoft announced Windows Subsystem for Linux 2, an updated version of its compatibility layer which ...
5 Reasons Why Charging Money For Linux Distributions Makes Sense - Analytics India Magazine   Analytics India MagazineEven though Linux is synonymous with open-source and free, the concept is slowly moving out of the picture.Charging money for Linux distro makes sense now.
The best Linux apps for your Chromebook - Android Police   Android PoliceSlowly but surely, Google is bringing support for Linux applications to Chrome OS. Even though the feature is primarily aimed at developers, like those... by ...
Linux Software for Kids: 8 Fun and Educational Linux Software - MakeUseOf   MakeUseOfLooking for Linux games to educate and entertain your children or students? Try these educational Linux games for starters.
Microsoft and Ubuntu-maker Canonical launch Visual Studio Code snap for Linux - BetaNews   BetaNewsOne of the most frustrating things for Windows users that switch to Linux is learning to install software. With Microsoft's operating system, you search the web for ...