Win7 Download

GNU Prolog for Windows (x32 bit) for Windows 7 - "Powerful Prolog Compiler: GNU Prolog x32" - Windows 7 Download

GNU Prolog for Windows  (x32 bit) Windows 7

GNU Prolog for Windows (x32 bit) 1.5.0

"Revolutionize your coding with GNU Prolog - a powerful and user-friendly software for Windows 7."

Welcome to the world of Windows 7 software downloads! Today we introduce "GNU Prolog for Windows (x32 bit)" software, created by the brilliant developer, Daniel Diaz. Designed to make programming easier, this software is perfect for beginners and experts alike. With a straightforward installation and user-friendly interface, it’s never been easier to get started with Prolog programming. So, what are you waiting for? Download "GNU Prolog for Windows (x32 bit)" today and explore a world of endless possibilities!

GNU Prolog for Windows (x32 bit) 1.5.0 full details

File Size: 5.59 MB
License: Open Source
Price: FREE
Released: 2021-06-09
Downloads: Total: 2196 | This Month: 3
Publisher: Daniel Diaz
Publisher URL:

Download GNU Prolog for Windows (x32 bit) 1.5.0

Save GNU Prolog for Windows (x32 bit) to My Stuff

View full GNU Prolog for Windows (x32 bit) 1.5.0 screenshot
GNU Prolog for Windows  (x32 bit)
GNU Prolog for Windows (x32 bit)Compilers & InterpretersWindows XP, Windows Vista, Windows 7, Windows 8, Windows 10

User Rating: 3.1 (21 votes)

GNU Prolog for Windows (x32 bit) - Windows 7 Download awards

GNU Prolog for Windows  (x32 bit) windows 7 compatible windows 7 download editor's pick

GNU Prolog for Windows (x32 bit) 1.5.0 full description

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.


# 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 (x32 bit) 1.5.0 download tags

Bookmark GNU Prolog for Windows (x32 bit)

copy windows 7 bookmark
copy windows 7 bookmark
copy windows 7 bookmark

GNU Prolog for Windows (x32 bit) for Windows 7 - Copyright information

All GNU Prolog for Windows (x32 bit) reviews, submitted ratings and written comments become the sole property of Windows 7 download. You acknowledge that you, not windows7download, are responsible for the contents of your submission. However, windows7download reserves the right to remove or refuse to post any submission for any reason.

Windows 7 Download periodically updates pricing and software information of GNU Prolog for Windows (x32 bit) full version from the publisher, but some information may be out-of-date. You should confirm all information.
Using warez version, crack, warez passwords, patches, serial numbers, registration codes, key generator, pirate key, keymaker or keygen for GNU Prolog for Windows (x32 bit) license key is illegal and prevent future development of GNU Prolog for Windows (x32 bit). Download links are directly from our mirrors or publisher's website, GNU Prolog for Windows (x32 bit) torrent or shared files from free file sharing and free upload services, including Rapidshare, MegaUpload, YouSendIt, SendSpace, DepositFiles, DivShare, HellShare, HotFile, FileServe or MediaFire, are not used.

Post GNU Prolog for Windows (x32 bit) review

Your Name:
Product Version:
Security Code:

Windows 7 GNU Prolog for Windows (x32 bit) related downloads

Free Pascal (aka FPK Pascal) is a 32 and 64 bit professional Pascal compiler. It is available for different ...
The open source, cross platform, free C++ IDE. Code::Blocks is a free C++ IDE built to meet the most demanding ...
Visual Prolog is a logical programming language that counts PDC Prolog and Turbo Prolog as predecessors. The goal of ...
What is GNU Prolog for Windows x64 GNU Prolog for Windows x64 is a free Prolog ...
Elegance, Power, Speed; Choose all three. FreeBASIC is a free/open source (GPL), 32-bit BASIC compiler ...
My Account
Windows 7 Software Coupons
My Saved Stuff
You have not saved any software.
Click "Save" next to each software.

Would you like to receive announcements of new versions of your software by email or by RSS reader? Register for FREE!
Windows 7 Downloads Picks
Popular Tags
Popular Windows 7 Software
© 2024 - All logos, trademarks, art and other creative works are and remain copyright and property of their respective owners. Microsoft Windows is a registered trademarks of Microsoft Corporation. Microsoft Corporation in no way endorses or is affiliated with