HOME Programmingcompilers and interpreters GNU Prolog for Windows (x64 bit) Download

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 Windows (x64 bit) full changelog ]

To start download the software please click here: Site 1

If you can not download this product please report us broken link

Software downloads related to GNU Prolog for Windows (x64 bit)

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

n-Track for Windows (x64 bit)
Turn your computer into a multitrack music recording studio n-Track Software for Windows x64 has been developing audio software since 1995, when the first version of n-Track was released. more info download

Ximagic GrayDither for Windows (x64 bit)
Plugin to reduce color/grayscale images to n-level gray using dithering more info download

BitComet (x64bit)
BitComet is a BitTorrent/HTTP/FTP download management software for Windows x64 bit, which is powerful, fast, very easy-to-use, and completely FREE. more info download

WCD for Windows (x64 bit)
Wcd is a command-line program to change directory fast. more info download

ESET Smart Security (64 bit)
All-in-One Internet Security for Windows x64 bit ESET Smart Security 6 is an all-in-one Internet Security solution for Windows x64 bit with new Anti-theft feature that locates your missing laptop and gives you tools to help recover it. more info download

Ximagic Quantizer for Windows (x64 bit)
Is a Photoshop plugin for image color quantization (color reduction) & dithe more info download

Ximagic Denoiser for Windows (x64 bit)
Ximagic Denoiser is a Photoshop plugin for image noise reduction more info download

Potrace for Windows (x64 bit)
Potrace(TM) is a utility for tracing a bitmap, which means, transforming a bitmap into a smooth, scalable image. more info download

Lupo PenSuite (x64 bit)
Completely free suite of portable programs and games 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

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

Popular Downloads

J2K-Codec
Make your graphics look better with an easy-to-use JPEG 2000 decoding component. J2K-Codec can help game developers, screensaver creators and many others to improve their products--to achieve better image quality and reduce installation package size. more info download

Batch File Compiler Professional Edition
Convert BATch files to EXE format. Select EXE Icon. Run Invisible Mode. Embed additional dependency files. Print centered color text, gather user input, do math, change text to lower/upper case for compare, and protect your code with encryption. more info download

AutoPlay Media Studio Personal Edition
AutoPlay Media Studio 8 Personal Edition is a free software development tool for students, open-source and hobby programmers. Create interactive multimedia Windows software applications in a visual environment with an easy Lua scripting language. more info download

Gentee
Gentee is a full-scale and free programming language. It is easy-to-master and can be a reliable assistant in your everyday work. Software developers can easily use it in their applications. All documentation and a set of libraries are available. more info download

MDE Compiler
MDE Compiler it's a useful software utility for Access developers that allows you to create an EXE file from your MDE application, it will let you specify an icon file and the file version information such as company, description and program... more info download

ASP GuestBook Generator
The ASP GuestBook Generator is a program that will create for you a personal guestbook in ASP so you can add it easily to your web site or your server. With the wizard of the software you can set all the view of the guestbook easly. more info download

Vbs2Exe
With Vbs2Exe you can compile your scripts and batch files to standalone executables, the easy to use interface provides a simple way to protect your scripts before you distribute them to your clients. more info download

Turbo-Locator x86
Code relocator for processors x86, NEC V25, V40, V50, Am486, AMD SC400 etc. Uses output of Turbo/Borland C++, Turbo/Borland Pascal and TASM. Suitable for x86 compatible embedded systems und industrual / flat / raw / ROM / BIOS PC applications. more info download

Mobile BASIC
Mobile BASIC is the easy way to write your own Mobile Phone Programs. With Mobile BASIC you can write Mobile Phone programs within minutes using nothing more than your desktop computer - there is even a Linux / Unix Version.Features include: Graphics more info download

Metaspec C# Parser Library
Metaspec C# parser library is designed to provide the kernel for applications which require processing C# source code: refactoring, formatting, and verification applications, and other similar tools. C# parser is fully compliant with ECMA-334 and... more info download