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

Steam For Linux Adds 1000 Perfectly Playable Windows Games In Under A Week - Forbes
Forbes
You can even point your Steam for Linux client at your Windows installation, and it will download the necessary updates. Again, this doesn't mean you ... Especially ones that contain aggressive DRM and anti-cheat software. It...
Vote for Linux Support on Adobe, Nextcloud 15 Now Available, LF Deep Learning Foundation Introduces Interactive Deep Learning Landscape, Canonical Announces Full Enterprise Support for Kubernetes 1.13 on Ubuntu and Icinga Director 1.6 Released - Linux Journal   Linux JournalNews briefs for December 11, 2018. Adobe customer care says there hasn't been enough demand for Linux, Phoronix reports. But, if you're interested in Linux ...
How to enable the Windows subsystem for linux feature - H2S Media   H2S MediaEnabling Windows Subsystem for Linux (WSL) is an efficient way to get the benefits of different Linux operating systems on Windows 10 PC and laptops.
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 ...
VirtualBox 6.0.4 Is Out with Initial Support for Linux Kernel 5.0, Improvements - Softpedia News   Softpedia NewsIt's now available for GNU/Linux, macOS, and Windows.
Dropbox Ending Sync Support for Uncommon Filesystems, Google Tracks Your Location, NVIDIA Unveils Its First ... - Linux Journal
Linux Journal
Dropbox recently announced in its forum that it will be supporting only the ext4 filesystem for Linux starting in November. Here's the post: "Hi everyone, on Nov. 7, 2018, we're ending support for Dropbox...