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
Gecko Programming Language This is a FREE Evaluation Version of the Gecko Programming Language. It is intended to introduce you to programming in Gecko. Gecko is a Query language with High-level syntax and procedural (linkage) construct. This EVALUATION version lacks its main featur
Dreamcard Dreamcard is a way to create software whether you are a novice or expert. It's English-like programming language, interface, and video tutorials mean you'll be creating software in minutes. With Dreamcard you can build anything from games, through to multi
ActivePython for Windows (32-bit) ActivePython from ActiveState is the industry-standard, commercial-grade Python distribution, available for Windows, Linux and Mac OS X (Solaris, AIX and HP-UX available in Business or Enterprise Edition). Developers worldwide rely on ActivePython's comple
Mini Compiler Mini Compiler application compiles single C# class files (.cs) into Windows Forms or Console applications. The compiler provides some very basic properties, such as assembly information and an application icon.
Vistascript Developer Vistascript is a scripting development environment and runtime for WinFx. The developer includes a winform designer, class and file browsers, interactive debugger and compiler. The runtime interpreter supports XMPP, JSON, REST and SOAP protocols. The Vista
Microsoft Windows SDK for Windows 7 and .NET Framework 3.5 SP1 Microsoft Windows SDK for Windows 7 and .NET Framework 3.5 SP1 provides the documentation, samples, header files, libraries, and tools (including C++ compilers) that you need to develop applications to run on Windows 7 and the .NET Framework 3.5 SP1. To bu
HtmCompiler HtmCompiler is a very powerful HTML compiler. It transforms a group of HTML pages (including Media files and graphics files) into a single executable file or a compressed package (hte format file). The executable file is a standalone entity with minimum ex
Altova UModel Professional Edition Altova UModel 2016 Professional Edition is the starting point for successful software development. Use UModel to create and interpret software and SQL database designs via the power of UML. Design application and database models and generate Java, C#, or V
InfoPath 2003 Software Development Kit InfoPath 2003 Software Development Kit is designed for solution providers (SPs), value-added resellers (VARs), and other developers who are interested in developing solutions with InfoPath 2003 and InfoPath 2003 Service Pack 1. The InfoPath SDK includes do
Silverfrost FTN77 FTN77, the Salford Fortran 77 compiler for 32-bit Intel microprocessor systems represents a significant advance for Fortran programmers. It provides fast compilation speed and a range of diagnostic, development and optimization facilities which together fa
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