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
UltraGram UltraGram is a visual parser generator for professional software development. Application provides extended functionality for creating grammar of a parser, interpreter or compiler, testing it and generating parser source code in a preferred programming lan
Ghostscript 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
LMD-Tools Special Edition (Delphi 6) LMD-Tools Special Edition (Delphi 6) represents a free extract of almost 100 components of our successful LMD-Tools component suite. LMD-Tools is a collection of up to 426 native VCL components that can be compiled into your application royalty free, and w
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.
install4j install4j is a cross platform Java installer that produces native launchers and installers for all major platforms. Install4j offers an intuitive GUI that makes it easy to quickly define installation projects. A command line compiler and integration for Ap
LRSTAR Parser & Lexer Generator LRSTAR is a fast LALR(k) parser generator for C/C++ programmers, that builds very fast compilers and language processors by using compressed-matrix parser tables. Creates compiler front-ends that read source code at 1,000,000 lines per second.
ARTIO JoomSEF This component rewrites Joomla. URLs to be Search Engine Friendly. It is continuation of the component previously named 404SEFx (or 404SEF for Mambo). It supports all Joomla build-in modules and also JoomFish extension. It also offers API for adding SEF fu
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
PCASTL Interpreter Command line (console) interpreter for the PCASTL language (by Parent and Childset Accessible Syntax Tree Language). The language is designed to ease the writing of self-modifying code. This package includes the full documentation in English and in French
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