GNU Prolog is a free Prolog compiler with constraint solving over finite domains. GNU Prolog accepts Prolog with 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 small since GNU Prolog can avoid linking 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 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, and sockets). GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens constraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Features include conforms to the ISO standard for Prolog, line editing facility under the interactive interpreter with completion on atoms, bidirectional interface between Prolog and C, native-code compiler producing stand alone executables, simple command-line compiler accepting a variety of files, predefined constraints: arithmetic constraints, Boolean constraints, symbolic constraints, and reified constraints, predefined enumeration heuristics, and user can define his own new constraints.
Like it? Share with your friends!
Other Windows Software of Developer «Daniel Diaz»:
GNU Prolog (64-bit) GNU Prolog is a free Prolog compiler with constraint solving over finite domains. GNU Prolog accepts Prolog with constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this
pdScript pdScript (Precision Delphi Script) is a standalone executable interpreter of Pascal Script language, with a native support for graphical user interface.
It is provided also in the form of dynamic-link library, which is a good option for incorporating t
LMD-Tools Special Edition (Delphi 7) With LMD-Tools Special Edition (Delphi 7) discover the most extensive and powerful productivity set available. Whatever you want to develop, LMD-Tools is the real thing. This toolbox provides easy-to-use components for all the power you want to implement i
IBasic Professional IBasic Professional is a full-featured compiler and development environment. Creates small, fast, native executables and DLLs. The environment is modular with new commands available separately using add-on command sets (paks). An advanced 2D game and graph
Ruby Central Ruby Ruby is the interpreted scripting language for quick and easy object-oriented programming. It has many features to process text files and to do system management tasks (as in Perl). It is simple, straight-forward, extensible, and portable.Requirements:Wind
Microsoft XNA Game Studio Microsoft XNA Game Studio is a programming environment that allows you to use Visual Studio 2010 to create games for Windows Phone, the Xbox 360 console, and Windows-based computers. XNA Game Studio 4.0 includes the XNA Framework 4.0, which is a set of man
ScriptBasic ScriptBasic implements a rich set of instructions that are available under Win32. Programs written in ScriptBasic are portable unless you work hard to insert some system specific code. If you need some more that is not currently available you can ask for i
Kix2Exe Kix2Exe is a freeware application to create executable files out of KiXtart scripts. When packaging a KiXtart script, an executable file is created that contains a pre-tokenised and password-protected version of the KiXtart script and a copy of kix32.exe o
Compiler 911 Optimizing, easy and clever, multi-target object pascal and assembler compiler, suitable absolutely for all kinds of programming tasks on x86 platform (even writing an own OS). Contains the set of source code analysis and refactoring tools. Has an easy and
AstroChip AstroChip is a language for modeling chips including a short introduction to chip design. You can use it for learning the first basics of chip design. An intelligent compiler helps finding errors and chips can be tested.Requirements:Windows 98/Me/2000/XP/2
Supported Operating Systems:
Windows 7 |
Comments on GNU Prolog (32-bit):
Comments not found
Windows Software - Free Windows Downloads, Apps, Games, Freeware, Skype, Media Player, Antivirus, Gimp, Live, Starter for Windows XP, Vista, 7, 8, 10