Popular x64 Tags
- compiler x64 download
- compile x64 download
- pascal x64 download
- web site x64 download
- web site management x64 download
- sitemaps generator x64 download
- visual studio x64 download
- ide x64 download
- development x64 download
- python debugger x64 download
- programming x64 download
- software x64 download
- create application x64 download
- debug x64 download
- language x64 download
- python ide x64 download
- wingware x64 download
- python x64 download
- debugger x64 download
- browser x64 download
- vb net x64 download
You are here: X-64-bit Download
\ Development
\ Compilers & Interpreters \ GNU Prolog for Windows (x64 bit)
GNU Prolog for Windows (x64 bit) 1.5.0
Sponsored links:
license: Open Source
downloads: 1543
size: 6.30 MB
updated: 2021-06-09
tags: x64 Prolog environment, Prolog compiler x64, programming environment x64, Prolog x64, x64 compiler, environment x64, Windows x64 bit
Add to Basket
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 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
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. |
Add Your Review or 64-bit Compatibility Report
Top Compilers & Interpreters 64-bit downloads
SCAR Divi Portable 3.41.00
A program designed to automate repetitive tasks on your computer
Freeware
FreeBasic for Windows (x64 bit) 1.10.1
FreeBASIC is a free/open source (GPL), 64-bit BASIC compiler for Windows
Open Source
Advanced BAT to EXE Converter 4.23
Convert batch files to EXE files with mouse input and unique functions
Freeware
Members area
Top 64-bit Downloads
-
Android NDK x64 Revision 26d
x64 freeware download -
SQLServerFind 64bit 3.4.3.2
x64 shareware download -
FreeBasic for Windows
(x64 bit) 1.10.1
x64 open source download -
TeamTalk SDK x64
Professional Edition 5.11a
x64 trialware download -
ooRexx x64 4.2.0
x64 freeware download -
SmartCode VNC Manager
Enterprise Edition x64 2023.9.1
x64 demo download -
SlickEdit x64 2023 28.0.0.6
x64 trialware download -
PyScripter x64 4.3.4
x64 open source download -
PyQt4 x64 4.12.3
x64 open source download -
EverEdit Portable x64 4.5.0.4500
x64 shareware download
Top Downloads
-
NASM 2.16.01
open source download -
AdFind 1.62.00
freeware download -
HxD 2.5.0.0
freeware download -
Md5deep 4.4
freeware download -
Swapy 0.5.4
open source download -
AzSDK PDF To Word
ActiveX DLL 2.00
shareware download -
Zoho CRM ODBC Driver by
Devart 2.9.0
shareware download -
Android NDK x64 Revision 26d
freeware download -
Turbo C++ 3.0
freeware download -
Client/Server Comm Lib
for FoxPro 7.1
shareware download -
OllyDbg 2.01
freeware download -
wodWebServer 1.6.5
shareware download -
novaPDF OEM 11.9.491
shareware download -
Qt 6.8.0
trialware download -
SCAR Divi Portable 3.41.00
freeware download