GNU Prolog for Windows (x64 bit) for Windows 7 - Prolog+constraint programs - Windows 7 Download
GNU Prolog for Windows (x64 bit) 1.4.0
GNU Prolog accepts Prolog+constraint programs
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).
GNU Prolog for Windows (x64 bit) 1.4.0 full details
| File Size: | 4.19 MB |
|---|---|
| License: | Open Source |
| Price: | FREE |
| Released: | 2011-08-29 |
| Downloads: | Total: 344 | This Month: 3 |
| Publisher: | Daniel Diaz |
| Publisher URL: | http://www.gprolog.org/ |
Download GNU Prolog for Windows (x64 bit) 1.4.0
Save GNU Prolog for Windows (x64 bit) to My Stuff
GNU Prolog for Windows (x64 bit) - Windows 7 Download awards
GNU Prolog for Windows (x64 bit) 1.4.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.
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 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) 1.4.0 download tags
Bookmark GNU Prolog for Windows (x64 bit)
GNU Prolog for Windows (x64 bit) for Windows 7 - Copyright information
All GNU Prolog for Windows (x64 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 (x64 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 (x64 bit) license key is illegal and prevent future development of GNU Prolog for Windows (x64 bit). Download links are directly from our mirrors or publisher's website, GNU Prolog for Windows (x64 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.
Windows 7 Download periodically updates pricing and software information of GNU Prolog for Windows (x64 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 (x64 bit) license key is illegal and prevent future development of GNU Prolog for Windows (x64 bit). Download links are directly from our mirrors or publisher's website, GNU Prolog for Windows (x64 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 (x64 bit) review
Windows 7 GNU Prolog for Windows (x64 bit) related downloads
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by ...
Visual Prolog is a logical programming language that counts PDC Prolog and Turbo Prolog as predecessors. The goal of ...
... a Great Looking, Excellent Working, Amazing C/C++ Programming Compiler and Integrated Development Environment (IDE) For The Microsoft ...
... a Great Looking, Excellent Working, Amazing C/C++ Programming Compiler and Integrated Development Environment (IDE) For The Microsoft ...
GHC is packaged for a number of operating systems and distributions. While ... them anyway, unless you have a particular need for new features or bug fixes. The ...
My Account
My Saved Stuff
File Extension Advanced Pro 1
Download Remove
FIBExTrees Library 5.5
Download Remove
FBackup 4.7.2270
Download Remove
FastCopy 2.08
Download Remove
CyberLink YouCam 5.0
Download Remove
CS 80V 2.0
Download Remove
HelpCruiser 2.2
Download Remove
HDR PhotoStudio 2.15.28
Download Remove
GdsViewer 2.1.9.390
Download Remove
gDoc Fusion 2.5
Download Remove
GameDay Payoff 1.0.0.121
Download Remove
Cross Fire 1080
Download Remove
Cool Barcode Maker 4.0
Download Remove
ContaCam 3.9.9
Download Remove
Free Large Android Icons 2011.2
Download Remove
FlashCapture 3.0.3.1317
Download Remove
Daytrader Companion 1.4.0
Download Remove
Dator 2.7.0
Download Remove
Azureus 4.0.0.4
Download Remove
AVS Video Converter 8.1.2.510
Download Remove
AutoScreenRecorder Pro 3.1.375
Download Remove
AnyToJpeg 3.3
Download Remove
Any DVD Cloner Express 1.2.2
Download Remove
Free YouTube to MP3 Converter 3.10.11
Download Remove
Fix IE Utility 1.0
Download Remove
DDE server plugin 3.7.4.1130
Download Remove
Codice Fiscale 5.1.1
Download Remove
Encode360 2.03
Download Remove
ChemDoodle 2.0.3
Download Remove
BrushO! 1.05
Download Remove
EVVAddressBook 3.0
Download Remove
Evolution 2.28.1-1
Download Remove
ECrawl 2.63
Download Remove
Audio Sound Editor for .NET 2.2.1.0
Download Remove
123FTP-Free 3.9.1
Download Remove
Amphis Customer 3.0
Download Remove
AIMP Classic 3.10 B1040 Beta
Download Remove
ABC Roster 1.5.0
Download Remove
A-one iPod PSP 3GP Video Converter 7.6.3
Download Remove
Acoolsoft PPT to Video Free 3.2.3
Download Remove
Download Remove
FIBExTrees Library 5.5
Download Remove
FBackup 4.7.2270
Download Remove
FastCopy 2.08
Download Remove
CyberLink YouCam 5.0
Download Remove
CS 80V 2.0
Download Remove
HelpCruiser 2.2
Download Remove
HDR PhotoStudio 2.15.28
Download Remove
GdsViewer 2.1.9.390
Download Remove
gDoc Fusion 2.5
Download Remove
GameDay Payoff 1.0.0.121
Download Remove
Cross Fire 1080
Download Remove
Cool Barcode Maker 4.0
Download Remove
ContaCam 3.9.9
Download Remove
Free Large Android Icons 2011.2
Download Remove
FlashCapture 3.0.3.1317
Download Remove
Daytrader Companion 1.4.0
Download Remove
Dator 2.7.0
Download Remove
Azureus 4.0.0.4
Download Remove
AVS Video Converter 8.1.2.510
Download Remove
AutoScreenRecorder Pro 3.1.375
Download Remove
AnyToJpeg 3.3
Download Remove
Any DVD Cloner Express 1.2.2
Download Remove
Free YouTube to MP3 Converter 3.10.11
Download Remove
Fix IE Utility 1.0
Download Remove
DDE server plugin 3.7.4.1130
Download Remove
Codice Fiscale 5.1.1
Download Remove
Encode360 2.03
Download Remove
ChemDoodle 2.0.3
Download Remove
BrushO! 1.05
Download Remove
EVVAddressBook 3.0
Download Remove
Evolution 2.28.1-1
Download Remove
ECrawl 2.63
Download Remove
Audio Sound Editor for .NET 2.2.1.0
Download Remove
123FTP-Free 3.9.1
Download Remove
Amphis Customer 3.0
Download Remove
AIMP Classic 3.10 B1040 Beta
Download Remove
ABC Roster 1.5.0
Download Remove
A-one iPod PSP 3GP Video Converter 7.6.3
Download Remove
Acoolsoft PPT to Video Free 3.2.3
Download Remove
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
- Free Pascal 2.6.0
- Visual Studio Professional Edition 2008
- Simply Fortran 1.29
- Intel Visual Fortran Composer XE 2011.0.104
- Python 3.2.2
- Easy Code for MASM 1.04.0.0006
- wxDEV-C++ 4.9.9.2
- Fiddler 2.3.9.9
- Visual Prolog 7.3 B7302
- FreeBasic for Windows 0.23.0
- Qt 4.8.2
- Wing IDE Personal 4.1.6-1
- Open Fortran Parser 0.8.1
- PureBasic x64 4.61
- PureBasic 4.61
- Longtion Application Builder 3.0.0.120
- Wing IDE Professional 4.1.5-1
- GNU Prolog for Windows (x64 bit) 1.4.0
- tIDE 2.39
- Blitz3D 1.83
Popular Tags
java
language
compile
coding language
decompiler
exe
free
pascal
basic
programming language
programming
compiler
basic language
Popular Windows 7 Software
- Turbo C++ 3.0
- Turbo Pascal 7.0
- DOSBox 0.74
- Java Runtime Environment 6.31
- Java Runtime Environment 64bit 6.31
- Microsoft .NET Framework 4 4.0.30319.1
- Free Pascal 2.6.0
- Notepad++ 6.1.3
- Microsoft .NET Framework 3.5 SP 1
- BlueJ 3.0.7
- Visual C++ Express Edition 2010
- Visual Basic 6.0 HelpVistaXPDiamond 2.0.0.0
- Texmaker 3.3.4
- Mozilla ActiveX Control 1.7.12
- Visual Studio Professional Edition 2008
© 2012 Windows7Download.com - 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 windows7download.com.