ePrivacy and GPDR Cookie Consent by Cookie Consent

GNU Prolog for Windows (x64 bit) 1.5.0

Sponsored links:
Daniel Diaz
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 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

GNU Prolog for Windows (x64 bit)Compilers & InterpretersWindows Vista x64, Windows 7 x64, Windows 8 x64, Windows 10 x64, Windows 11

User Rating: 1.8 (51 votes)

x64 native software
OS: Windows Vista x64, Windows 7 x64, Windows 8 x64, Windows 10 x64, Windows 11


GNU Prolog for Windows (x64 bit) Reviews

Software: GNU Prolog for Windows (x64 bit) 1.4.3
Reviewed by: Donald St-Maurice (Apr 2, 2013)
Rating:
Review: The source cannot be read....crash all the time.
View all Reviews

Add Your Review or 64-bit Compatibility Report

Your Name:
Software Version:
Rating:
Review:
Security Code:


Top Compilers & Interpreters 64-bit downloads

NASM
NASM 2.16.01   
Assembler designed for portability and modularity
Open Source

FreeBasic for Windows (x64 bit)

FreeBasic for Windows (x64 bit) 1.10.1   
FreeBASIC is a free/open source (GPL), 64-bit BASIC compiler for Windows
Open Source

Easy Code for MASM
Easy Code for MASM 1.07.0.0009   
A setup program and includes the source code of a nice CD player
Freeware

BASIC 2 DOSBox
BASIC 2 DOSBox 1.2.0   
Preconfigured BASIC versions (QBasic,QuickBASIC etc). Ready to use with DOSBox!
Freeware

ELENA Integrated Development Environment
ELENA Integrated Development Environment 6.2.0   
A very simple to use programming language
Freeware

Fresh IDE
Fresh IDE 2.7.0   
Designed to enable you to edit and compile projects
Freeware

wxDEV-C++ screenshot
wxDEV-C++ 4.9.9.2   
A free integrated development environment (IDE)
Open Source

CMake
CMake 3.30.1   
Control software compilation process and generate native makefiles
Open Source

BI xPress
BI xPress 2.1.0 R30550   
A tool that helps you manage SSIS migration
Trialware | $545.00

Fiddler
Fiddler 5.0.20211.51073   
An HTTP debugging proxy that logs all HTTP traffic
Freeware

Members area

Login:
Password:
Remember me

Sign Up  |  Forgot Password?

Top 64-bit Downloads

Top Downloads

64-bit Tags