Home > By category > Developer Tools >Management & Distribution > GNU Prolog for Windows (x64 bit)



GNU Prolog for Windows (x64 bit)

  • Downloads: 
  • Views: 
  • Rating:

What is GNU Prolog for Windows x64

GNU Prolog for Windows x64 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

Free download from Shareware Connection - What is GNU Prolog for Windows x64 GNU Prolog for Windows x64 is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

Publisher: Daniel Diaz | License: Shareware
Version: 1.4.3 | Size: 4730 KB | Platform: Win7 x64, WinVista x64
Released Date: | Rating: 0 | Title: GNU Prolog for Windows (x64 bit)

Author Url: http://www.gprolog.org/
Program Info Url: http://www.gprolog.org/
Download Url: http://www.gprolog.org/setup-gprolog-1.4.3-msvc-x64.exe
Screenshot Url: http://www.lodherov21.eu/projekty/data/others/logicke-programovani-referat/data/prolog-instalace-linux.png

More downloads from GNU Prolog for Windows (x64 bit) publisher Daniel Diaz:

GNU Prolog for Windows (x32 bit) - What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

GNU Prolog for Windows (x64 bit) keywords:
GNU Prolog for Windows (x64 bit) related downloads:

Windows Server 2008 Service Pack 2 x64-based 64-bit - Windows Server 2008 Service Pack 2 x64 (SP2) and Windows Vista Service Pack 2 x64 (SP2) is an update to Windows Server x64 and Windows Vista x64 that addresses feedback from our customers.

Windows Vista Service Pack 2 SP2 64-bit x64 - Microsoft+eT« continuously improves the Windows Vista+eT« x64 and Windows Server+eT« 2008 x64 operating systems by providing ongoing updates while working with software and hardware vendors to help them deliver improved compatibility, reliab

MinGW-w64 - for 32 and 64 bit Windows - The mingw-w64 project is a complete runtime environment for gcc to support binaries native to Windows 64-bit and 32-bit operating systems.

Ultimate Windows Tweaker, a Tweak UI - Ultimate Windows Tweaker is a freeware TweakUI Utility for tweaking and optimizing Windows 7 & Windows Vista, 32-bit & 64-bit.

Devart ODBC Driver for Oracle - Devart ODBC Driver for Oracle provides high-performance and feature-rich connectivity solution for ODBC-based applications to access Oracle databases from Windows 32-bit and 64-bit, Mac OS X, Linux.

Shareware Connection periodically updates pricing and software information of 'GNU Prolog for Windows (x64 bit)' from company source 'Daniel Diaz' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'GNU Prolog for Windows (x64 bit)' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of GNU Prolog for Windows (x64 bit).

New Reviews

WebAcappella - Web design sector has witnessed several trends and technological innovations affect website development in big ways. With time, designing websites has become easier. Nowadays, you can find web design software that nearly eliminates the need to ...

LogmeOnce Password Manager Ultimate - Irrespective of your computer and web usage needs it is quite imperative that you will deal with passwords, in fact plenty of them. Both home and corporate network users need to log in to several web services and sites and for each of them, user ...

SlimCleaner - Nearly all PC users need to use various utilities to enhance performance of their laptop or desktop from time to time. Windows inbuilt utilities can serve the purpose but when you can find more capable third party apps at low or zero cost, why ...

McAfee AntiVirus Plus - In PC security sector, McAfee is a big name. Along with Symantec, this is one of the contenders catering to the PC users for a long time. However, with time, several new contenders have appeared on horizon and some of them are giving the old ...

IDrive Classic - For every type of computer user, backing up data has become near compulsory. Apart from data loss caused by hardware snags, you cannot rule out the risk of data loss caused by malware attacks. That explains why millions of PC users back up their ...

Apple iMovie - For higher end video editing and post production related needs on Mac OS, the preferred choice is FCP in most instances. However, not all Mac users need to deal with a feature laden, sophisticated editor for casual needs. For casual to moderate ...

AOMEI Partition Assistant Lite Edition - No matter whether you are a casual PC user or deal with a number of computers for professional needs, taking care of hardware components is a necessity. Among all hardware components used in laptop or desktop, hard disk is the most important one. ...

Video Editor - With advancements in both computer software and hardware, average users are getting into activities that were hitherto reserved for professionals. There are several video editing tools aimed at casual users as well. While professional users ...

Cryper - Nowadays PC users can no longer rely completely on any security software. Newer ways of data theft and exploits are emerging on the horizon, making PC security a complicated and worrisome thing. If you are particular about the data you store in ...

Adobe Media Encoder - Almost every PC user faces a situation where he or she needs to convert an audio or video file fast into a format of choice. There are several free and commercial apps, but the abundance of options can actually make selection difficult. If you ...




New Downloads

VB.Net PDF

Create, Edit and Extract Text
and Image Content inside
VB.net applications. Supports
HTML, ASPX, CSS, and images.
...

.NET SFTP Library

Transfer files using FTP over
SSH with the .NET SFTP Library
by Kellerman Software. Upload
and Download entire ...

Unserver

Unserver communicates to field
devices via Modbus protocol
and provides an HTTP API to
higher-level clients. Uses ...

Tiered Storage SDK

File System Tiered Storage
Filter Driver SDK, is a data
storage technique which
automatically moves data
between ...

Oxetta Report Generator

Report generator for C/C++
applications with printing and
print preview support, small
and fast. Includes nice
graphical ...

Collection of C++ Examples

Collection of C++ examples and
applications with focus on
Windows and Win32 development.

VISCOM Video Chat SDK

Live Video Conferencing (Peer
to Peer). Send live video
messages using your webcam.
Send live audio messages using
your ...

SMTP/POP3/IMAP Email Engine
for FoxPro

SMTP/POP3/IMAP Visual FoxPro
email component uses a simple
API to send and receive mail,
including HTML and MIME Base64
...

Multi Edit 2008

A Powerful IDE, with its
speed, depth, &
uncompromising program access.
Supports 50+ languages. Search
with Perl 5 ...

MySQL Data Access
Components

MyDAC (Data Access Components
for MySQL) is an enhanced
component library for fast
direct access to MySQL from
Delphi, ...

GroupDocs.Conversion for
.NET

A lightweight .NET library
that allows developers to
convert back and forth between
50+ file formats, including
PDF, ...

UBIQ Mobile

Develop and deploy mobile apps
for Android, Apple iOS,
Windows Phone 8 and Java ME
mobile devices in no time!
Ubiq Mobile ...