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 (32-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
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
Aurora Compiler Aurora features a syntax similar to C++ with high level commands making it ideal for students and advanced programmers alike. Aurora can create stand alone executables with no runtime libraries needed.What is new in this release:You can now create a new di
Microsoft XNA Game Studio 2.0 Microsoft XNA Game Studio enables hobbyists, academics, and independent game developers to easily create video games for Windows and the Xbox 360 console using optimized cross-platform gaming libraries based on .NET.
WhizBase WhizBase is a full-featured scripting language for developing dynamic web pages, with the main focus on effortless online database publishing. Besides being very easy to use and feature rich, it also includes the free development tool, "WhizBase Power Pack
DFASTAR Lexer Generator An extremely fast DFA lexer generator that creates lexical analyzers in C and C++. Testing shows the generated lexers can read over 30,000,000 tokens per second on a 3 GHz computer. Comes with workspace projects already defined for Microsoft Visual Studio
SharePoint Server 2007 SDK: Software Development Kit SharePoint Server 2007 SDK: Software Development Kit is designed for solution providers, independent software vendors, value-added resellers, and other developers to learn about the new Office SharePoint Server 2007 enterprise application and platform. It
esProc esProc is designed for application programmers to handle computing strongly related to the typical and complex business facts. Without any inheriting, overload, and other complex concepts, it is a development language neither object-oriented, nor fit for d
Gold Parser Builder The Gold Parser is a parser generator that you can use to develop your own compilers and emulators. Unlike common compiler-compilers, the Gold Parser does not require you to embed your grammar directly into your source code. Instead, the Builder analyzes t
Suneido From the developer: "Suneido is a complete, integrated application platform that includes an object-oriented language, client-server database, and user interface and reporting frameworks to enable you to create, deploy, and maintain applications easier and
LMD-Tools Special Edition (Delphi 5) 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 in your projects. Furthermore LMD-Tools con
Supported Operating Systems:
Windows 7 |
Comments on GNU Prolog (64-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