Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.544.819 Times

GNU Prolog for Mac OS X 1.4.0

Company: Daniel Diaz
Date Added: October 22, 2012  |  Visits: 279

GNU Prolog for Mac OS X

Report Broken Link
Printer Friendly Version


Product Homepage
Download (27 downloads)



What is GNU Prolog

GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

GNU Prolog accepts Prolog+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 quite small since GNU Prolog can avoid to link 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 interactive 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, sockets,...).

GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming.

Features

# Prolog system:

* conforms to the ISO standard for Prolog (floating point numbers, streams, dynamic code,...).
* a lot of extensions: global variables, definite clause grammars (DCG), sockets interface, operating system interface,...
* more than 300 Prolog built-in predicates.
* Prolog debugger and a low-level WAM debugger.
* line editing facility under the interactive interpreter with completion on atoms.
* powerful bidirectional interface between Prolog and C.

# Compiler:

* native-code compiler producing stand alone executables.
* simple command-line compiler accepting a wide variety of files: Prolog files, C files, WAM files,...
* direct generation of assembly code 15 times faster than wamcc + gcc.
* most of unused built-in predicates are not linked (to reduce the size of the executables).
* compiled predicates (native-code) as fast as wamcc on average.
* consulted predicates (byte-code) 5 times faster than wamcc.

# Constraint solver:

* FD variables well integrated into the Prolog environment (full compatibility with Prolog variables and integers). No need for explicit FD declarations.
* very efficient FD solver (comparable to commercial solvers).
* high-level constraints can be described in terms of simple primitives.
* a lot of predefined constraints: arithmetic constraints, boolean constraints, symbolic constraints, reified constraints,...
* several predefined enumeration heuristics.
* the user can define his own new constraints.
* more than 50 FD built-in constraints/predicates.
constraints (in terms of the primitive), the solver is open and extensible (as opposed to black-box solvers like CHI

Supported Platforms & Last Changes

Currently the following architectures are supported:

* ix86 / GNU/Linux
* ix86 / Win32 using Cygwin (see file src/WINDOWS)
* ix86 / Win32 using MinGW (see file src/WINDOWS)
* ix86 / Win32 using MSVC++ (see file src/WINDOWS)
* ix86 / SCO
* ix86 / Solaris
* ix86 / FreeBSD
* ix86 / OpenBSD
* ix86 / NetBSD
* ix86 / Darwin (Mac OS X)
* x86_64 / GNU/Linux
* x86_64 / Solaris
* x86_64 / Win64 using MinGW64 (see file src/WINDOWS64)
* x86_64 / Win64 using MSVC++ (see file src/WINDOWS64)
* PowerPC / GNU/Linux
* PowerPC / Darwin (Mac OS X)
* PowerPC / NetBSD
* sparc / SunOS (4.1.3 or higher)
* sparc / Solaris
* sparc / NetBSD
* alpha / GNU/Linux
* alpha / OSF1
* mips / irix

Requirements: No special requirements
Release Date: October 22, 2012
Platforms: Mac OS X
Keyword: Compiler Environment Programming Environment Prolog Prolog Compiler Prolog Environment
Users rating: 0/10

License: Freeware Size: 4.16 MB
USER REVIEWS
More Reviews or Write Review


GNU PROLOG FOR MAC OS X RELATED
Development Editors  -  C#Prolog 3.0.0
C#Prolog is a prolog interpreter written in C# designed to be easily integrated in C# programs. The most important characteristics that this tool has are: reliable and fairly fast interpreter, command line interface, builtin DCG, XML-predicates,...
 
Development Editors  -  BlueJ for Linux 3.0.4
BlueJ is a Java environment with built-in editor, compiler, virtual machine, debugger specifically designed for introductory teaching. The aim of BlueJ is to provide an easy-to-use teaching environment for the Java language that facilitates the...
5.1 MB  
Development Editors  -  BlueJ for Mac OS X 3.0.4
BlueJ is a Java environment with built-in editor, compiler, virtual machine, debugger specifically designed for introductory teaching. The aim of BlueJ is to provide an easy-to-use teaching environment for the Java language that facilitates the...
5.1 MB  
Programming  -  FreeBASIC Compiler 0.16 / 0.18.1b
FreeBASIC - as the name suggests - is a free, open-source, 32-bit, MS-QuickBASICs syntax-compatible compiler, that adds new features such as pointers, unsigned data types, inline-assembly and many others.. FreeBASIC compiler official page (a free...
3.1 MB  
Programming  -  lfyre 0.3.1
Lfyre is a programming language and the interactive compiler for the same language. Its key features are flexibility, performance and simplicity. For instance, lfyre code can be compiled or interpreted and can define new language keywords and...
307.2 KB  
Desktop Utilities  -  Equinox Desktop Environment 1.1
Equinox Desktop Environment (shortly EDE) is small desktop environment, builted to be simple and fast. Comparing to other desktop environments, EDE is much faster and smaller in memory space (EDEs window manager use less memory than xterm)....
1.3 MB  
Desktop Utilities  -  AntiRight Desktop Environment 3.4
AntiRight Desktop Environment is a lightweight and scripted desktop environment that uses the Motif toolkit. Development is carried out with a minimalistic philosophy in mind. The software consists of a text editor, a desktop panel, a sticky...
102.4 KB  
Network & Internet  -  Bitgate Server Software Environment 0.4.3
Bitgate Server Software Environment aims to build a multi-protocol environment in which server protocol handlers can be eventually loaded and unloaded on the fly using a center console or controller Web page. Bitgate Server Software Environment...
58.37 KB  
Development Editors  -  GNU Prolog for Linux 1.4.0
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The...
3.16 MB  
Development Editors  -  GNU Prolog for Windows (x64 bit) 1.4.0
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The...
4.19 MB  
NEW DOWNLOADS IN PROGRAMMING, DEVELOPMENT EDITORS
Programming  -  Bat To Exe Converter 2.2
Bat To Exe Converter converts BAT (.bat) script files to the EXE (.exe) format Features - Visible and invisible applications - Inclusion of additional files, icon and version information - Creation of 32-Bit and 64-Bit EXE files -...
4.04 MB  
Programming  -  SmartBuilder 1.0.4.7
SmartBuilderâ„¢Fast & Easy Making SmartBuilderâ„¢ is a combination of making Boost-up Apps easily and quickly and editing or distributing as well. You don't have to make apps separately by O/S because the apps you made are operated in both IOS...
10 B  
Programming  -  FileMaker Barcode Font Encoder Plugin 13.09
The FileMaker Pro Barcode Plug-In for Windows and Macintosh easily integrates into forms and reports to add barcodes. Code 128 (sets A, B and C), Postnet, Planet, Interleaved 2 of 5, ITF, UPC-A, EAN-13, EAN-8, Codabar and MSI are supported. This...
1.53 MB  
Programming  -  Subbee 32
User friendly Subtitles Editor/Translator. Can open, convert, modify and save subtitle files in Subrip(.srt), MicroDVD(.sub) and Subviewer format. It has built-in translator for quick translation. Can change FPS, charset (Unicode, UTF8), and much...
4.19 MB  
Programming  -  Metty Meta Tag Maker 1.31
Metty allows easy creation of over 30 different meta tags that can help your web pages to be properly indexed by search engines. Metty can insert tags into an HTML file that has been imported locally or directly from a web site. No knowledge of...
2.43 MB  
Development Editors  -  Altova MobileTogether Designer 3.2
MobileTogether is a revolutionary RMAD framework for building data-centric apps for all platforms: iOS, Android, Windows, and others. Use a combination of visual design and functional programming to build your cross-platform mobile apps....
130.3 MB  
Development Editors  -  App Developer 2.16
If you could look 1 year ahead of competition, would you want to see? - we'll give you 4 years. SocialMedia driven App Developer will help you to find new solutions for your 21st century Startup. Fine-tune cost-driving, reach, efficiency and...
4.17 MB  
Development Editors  -  Comm Tunnel 2.2.0.78
Comm Tunnel is a free tool to connect endpoints. It builds a tunnel between endpoints. The endpoints can be any of serial port, TCP/IP server, TCP/IP client or UDP. The data received on one endpoint will be forward to anther fourt endpoints. It...
44.52 KB  
Development Editors  -  PilotEdit Lite 9.3.0
PilotEdit is an amazing file editor capable of editing large files. PilotEdit Lite works on both 32-bit and 64-bit Windows Operating System. 1. The file size supported by PilotEdit is unlimited Edit files larger than 10GB. 2. Support UNICODE...
9.54 MB  
Development Editors  -  KnownColorLister 1.0
KnownColorLister is a tiny portable program that helps .NET Framework and Windows developers use system-defined colors in their programs. It lists the system colors and their actual values on the current PC, and all the predefined named colors in...
8 KB