GNU Prolog for Windows (x32 bit) 1.4.3
Daniel Diaz in Development Misc. Dev. Tools
Gnu Prolog Tutorial
Download Freeware 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. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source).
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
-
Advertisement
- GNU Solfege v.3.20.4GNUSolfege is an ear training software written in Python. The application is designed to be easily extended with lesson files, so the user can create new exercises. It makes for a great environment or you to train your rhythm, interval, scale and ...
- GNU Solfege for Windows v.3.21.0Solfege is free music education software.
- Solfege v.3.20.0GNUSolfege is an ear training program written to help you train intervals, chords, scales and rhythms.
- TKSolfege v.1.06Tksolfege is a free music ear training program written in Tcl/Tk. It contains exercises for recognizing musical intervals, chords, sight reading and rhythm dictation. Such skills are a requirement in many university music departments and considerable ...
- GNU MAC Changer v.1.5.0GNU MAC Changer project consists of an utility for manipulating MAC addresses of network interfaces. It can set specific, random, vendor-based (with a 6600+ vendor list), and device-type-based MACs. Main features: - Set specific MAC address of a ...
- GNU Visual Debugger v.1.2.5GNU Visual Debugger 1.2.5 is considered as a professional, useful and extensible graphical debugger. The debugger has the capability to handle the syntax and peculiarities of several languages during the same session.This includes native and cross ...
- Win32-versions of GNU tools v.0.6.19The GnuWin32 project provides Win32-versions of GNU tools, or tools with a similar open source licence. The ports are native ports, that is they rely only on libraries provided with any standard 32-bits MS-Windows operating system, such as MS-Windows ...
- Debian GNU/Linux v.6.0.3Debian Operating System is an association of individuals who have made common cause to create a free operating system. This operating system is called Debian GNU/Linux, or simply Debian for short. Debian systems currently use the Linux kernel.
- GNU Prolog for Windows (x64 bit) v.1.4.0What 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 ...
- GNU Prolog for Mac OS X v.1.4.0What 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 ...
- GNU Prolog for Linux v.1.4.0What 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 ...
- GNU Prolog for Windows (x32 bit) v.1.4.0What 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 ...
- Cadaz GNU/Linux v.1.0.betaCadaz GNU/Linux is an operating system designed for PHP developers who always work while mobile. With Cadaz, you can carry not just your work but entire development including OS, complete server stack and development tools on a flash ...
- Canaima GNU/Linux v.386CANAIMA is a complete GNU/Linux operating system/distribution developped in the Bolivarian Republic of Venezuela, with both community and goverment support. It comes with thousands of packages. It aims to be fast, stable, secure, and ...
- Debian GNU/Linux Live-CD v.0.02mklivecd creates a Live-CD from the Debian GNU/Linux distribution. You needaccess to the Debian distribution to create the Live-CD ...
- Doxygen for GNU R code v.0.1.1A filter for doxygen that provides basic source code documentation for GNU R. It is a simple FLEX C++ scanner. This release only supports Unix-like systems with automake and Boost ...
- Embdemid GNU/Linux v.0.0.1embdemid GNU / Linux for Compal Jax 10 and Aigo P8860,Aigo P8888 ...
- Extensible GNU Awk, with XML, PostgreSQL v.1.0An extension of GAWK, the GNU implementation of the AWK Programming Language, for processing XML data. XMLgawk is just one of the extensions that come with the xgawk distribution. The others are the PostgreSQL and the MPFR ...
- GCC D Compiler for GNU/Linux v.4.1.2GCC D Compiler (GDC) for GNU/Linux (RPM) See also http://www.d-programming-language.org/ and ...
- GDL - GNU Data Language v.0.9.2GDL - GNU Data Language, a free IDL (Interactive Data Language, see http://ittvis.com/idl/) compatible incremental ...
Prolog Compiler
Gnu Prolog Console
- GNU MAC Changer GNU MAC Changer project consists of an utility for
- GNU Prolog for Mac OS X What is GNU Prolog GNU Prolog is a free Prolog
- GNU Prolog for Windows (x64 bit) What is GNU Prolog GNU Prolog is a free Prolog
- GNU Exterior Ballistics Computer A graphical interface for solving exterior ballistics
- GNU Gluco Control GNU Gluco Control (ggc) helps you to manage your diabetes.
- GNU Prolog for Linux What is GNU Prolog GNU Prolog is a free Prolog
- GNU/Liberty Basic Compiler Collection GLBCC is a front-end to the GNU Compiler Collection. GLBCC
- GNU Prolog for Windows (x32 bit) What is GNU Prolog GNU Prolog is a free Prolog
- GNU Solfege GNU Solfege is an ear training software written in
- GCC D Compiler for GNU/Linux GCC D Compiler (GDC) for GNU/Linux (RPM) See also
Gnu Prolog Ide
Visit HotFiles@Winsite for more of the top downloads here at WinSite!