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
LMD-Tools Special Edition (Delphi 2007,.NET) 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
MiniBASIC MiniBASIC language is a powerful Windows compiler featuring an integrated development environment with an advanced compiler, assembler and linker. It features ASIC like syntax, rich command set, project and single file compiling, extensive mathematics oper
Compile Plus "Compile Plus" is an extension of "Program Plus" with prepared for compilation actions and options.
Compilation for the next types of files is prepared: C/C++, C#, Assembler and Java. It is separated from "Source Editor". So it has the same parts for c
Ghostscript (64-bit) Ghostscript is a package of software that provides an interpreter for the PostScript (TM) language, with the ability to convert PostScript language files to many raster formats, view them on displays, and print them on printers that don't have PostScript l
KBasic KBasic is programming language, which is simply intuitive and easy to learn. It is a new programming language, a further BASIC dialect and is related to VB.NET, Visual Basic, Visual Basic for Application, and Java. It combines the best features of those to
IBasic Standard IBasic has syntax similar to BASIC languages, which most are familiar with such as Quick BASIC or Visual BASIC. IBasic can compile standalone Windows programs, 3D games, and utilities. No external runtimes are needed to distribute software created with IBa
InstallAware Setup Squeezer for InstallShield The InstallAware Setup Squeezer intelligently unpacks your InstallShield setups, and then recompresses them using InstallAware's industry leading compression technology. Setup Squeezer is a fully automated, point-and-click wizard, which produces 15%-50% si
pdScript Lite Portable pdScript Lite Portable is a standalone executable interpreter of Pascal Script language, with native support for VCL forms. pdScript is based on the "RemObjects Pascal Script engine" and allows you to use the standard types, routines and components of the
JustDecompile JustDecompile makes it easy to recover lost source code or peer into assemblies to discover the root cause of an external bug. Integrates with the powerful Visual Studio add-in, JustCode, for inline decompilation. JustDecompile quickly loads the core frame
DC3 Compiler - Interpreter DC3 is a VB like compiler/interpreter that can be used for learning how to create a complete and fully functional compiler. It comes with its complete source code in Visual Basic 6. It compiles simple VB like programs and creates a byte code executed by a
Supported Operating Systems:
Windows 7 |
Comments on :
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