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



GNU Prolog for Windows (x32 bit)

  • Downloads: 
  • Views: 
  • Rating:

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

Free download from Shareware Connection - What is GNU Prolog GNU Prolog 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: 5662 KB | Platform: Windows 7, WinVista
Released Date: | Rating: 0 | Title: GNU Prolog for Windows (x32 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-x86.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 (x32 bit) publisher Daniel Diaz:

GNU Prolog for Windows (x64 bit) - 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 for Windows (x32 bit) keywords:
GNU Prolog for Windows (x32 bit) related downloads:

GNU Prolog for Windows (x64 bit) - 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.

Stellarium for Windows (x64 bit) - Stellarium for Windows (x64 bit) is a free open source planetarium for your computer.

BitComet (x64bit) - BitComet is a BitTorrent/HTTP/FTP download management software for Windows x64 bit, which is powerful, fast, very easy-to-use, and completely FREE.

Scilab Image Processing Toolbox for Windows - SIP is the image processing and computer vision package for SciLab, a free Matlab-like programming environment.

Bitly URL Shortener for Windows 8 - Bitly URL Shortener for Windows 8 is a handy and reliable application designed to shorten long URL addresses via the bit.

Shareware Connection periodically updates pricing and software information of 'GNU Prolog for Windows (x32 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 (x32 bit)' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of GNU Prolog for Windows (x32 bit).

New Reviews

Driver Fusion - To keep your laptop and desktop running smoothly and get the best performance out of it, it is important to pay attention to some aspects. It is quite important to ensure your PC device drivers are updated. Components like motherboards, GPU and ...

Trend Micro HouseCall - With time, PC users find it increasingly difficult to keep their systems free of malware and rogue apps, despite using latest and feature packed security software. This is mostly owing to the evolving nature of malware and newer types of ...

Autodesk Smoke - Autodesk is the company well known for making some of the most feature rich and versatile tools for 3D modeling, animation and engineering design related work. Its Smoke is a Mac OS specific app that is aimed at professionals involved in ...

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 ...

PureSync Personal - When you use computers, there is no way you can escape using specialized third party software. These need to be used for various needs including office productivity, web access, taking back-up and ensuring proper synchronization across multiple ...

MacPilot - The Mac OS contains many advanced features that can make computing a different experience altogether. However, not all Mac users are aware of such deep rooted features of the Apple OS. The usual surface customizations are what most of them remain ...

Adobe Muse CC 2014 - There was a time when Dreamweaver used to be the most widely used web design app and competitors from Microsoft or other small players used to lag behind. While the powerhouse app still enjoys a humongous user base worldwide, emergence of new ...

Screenshot Captor - Nowadays, a lot of Windows users need to take screenshots for professional and personal usage needs. It may be required to share an interesting image from web site or part of web pages with friends, making tutorials etc. However, freeware screen ...

Reallusion iClone - Nowadays, there is no scarcity of 3D animation and modeling software in market. However, not all such apps are user friendly and easy on wallet. If you want an intuitive and capable tool for making 3D animations without requiring much time, give ...

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

HelpNDoc

Full-featured help authoring
tool, easy and powerful,
producing HTML help files,
CHM, PDF, Word, iPhone, ePub,
Kindle and ...

Extensibility Studio

Extensibility Studio is a
complete solution allowing to
extend your .NET application
with user-defined logic. It
includes ...

Bytescout BarCode Generator
SDK

Generate barcodes from .NET
with Bytescout BarCode
Generator SDK which provides 4
types of controls to generate,
display, ...

Batch PDF Print Organizer

By Batch PDF Print Organizer
prints PDF files to selected
printer device
continuously.Batch PDF Print
Organizer supports ...

dotConnect for Magento

dotConnect for Magento is an
ADO.NET provider for working
with Magento data through the
standard ADO.NET or Entity ...

TRichView for Delphi

Delphi/C++Builder components
for displaying, editing and
printing rich hypertext
documents. Various text
formatting, ...

Python Operating
Environment

Visral OE (Operating
Environment) lets users
efficiently access all the
power of Python by means of
sentient editors, ...

VISCOM Audio Capture
ActiveX SDK

Capture audio from selected
audio device.Capture audio to
Wave, WMA, MP3 file format.
Include c# , VB.Net, VFP, VB ,
...

JNIWrapper for Solaris
(ultraSPARC)

JNIWrapper library allows to
interface native code while
retaining full control of the
application on the Java side.
With ...

PDF-XChange PRO SDK

All a developer needs to View,
Print, create and manipulate
Adobe PDF files from virtually
any Windows software. Includes
...

Smart .NET Obfuscator

Skater Smart .NET Obfuscator
is an obfuscation tool for
.NET code protection. It
implements software protection
...

iPhone IAX Client

Adore IAX Client 1.0 is a
iPhone Application that gets
installed on iPhone Device
iOS4x, iOS3x versions and lets
the ...