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
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
Bat To Exe Converter Portable Bat To Exe Converter converts batch (bat) script files to executable (.exe) files.
Visible and invisible applications
Inclusion of additional files, icon and version information
Creation of 32-Bit and 64-Bit EXE files
Euphoria Programming Language Euphoria is a simple, powerful and easy to learn programming language. The Euphoria interpreter outperforms all major interpreted languages, and you can also make an even faster .exe file. Version 3.0.1 is now completely open source, and completely free. C
Free Pascal Free Pascal (aka FPK Pascal) is a 32 bit Pascal compiler. The language syntax is semantically compatible with TP 7.0 as well as most versions of Delphi (classes, rtti, exceptions, ansistrings, widestrings, and interfaces). Furthermore, Free Pascal supports
BFC Automata From the developer: "BFC Automata is a programming environment and an interpreter for 5 types of Automata: DFA, NFA, DSA, NSA and Turing Machines. The program also has Debug features, including Step-by-Step and Full Report, and it has the ability to manual
Ketman ASM Maximaster The Ketman ASM Maximaster comes with a toolkit (real mode) for both beginners and advanced programmers, comprising of an assembler, a debugger and assorted tools. It also contains an ASM interpreter, allowing unassembled source text to be single-stepped. I
Quick Batch File Compiler Quick Batch File Compiler convert your batch files into actual program (.EXE format) in one click.An .EXE file is much harder to casually reverse-engineer, so this could be a way to conceal a particular batch file's operations from an end user. Content of
Clipper Data Entry Program Generator This will produce a complete program for data entry and maintenance for a DBF file using Clipper. Save hours with this utility, just fill a template file, specifying the display, fields and file names, and you'll get the source code that when compiled with
pdScript Lite pdScript Lite (Precision Delphi Script) 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 c
Spetnik's C++ Compiler Shell Spetnik's C++ Compiler Shell (see a screen shot) is a GUI (Graphical User Interface) for the free Borland C++ Builder 5.5. The Borland Compiler is a hard-to-use DOS compiler, and this shell inputs file information and command-line options from a friendly u
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