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.
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
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.
Jadx
Setup Builder
EXECryptor
QSetup Installation Suite
WTM CD Protect
Professional Licence Manager
ShareGuard Copy Protection
Software Planner
ActiveX Windows NT/2000 group and account UserManager
CodeDepot
Easy Pocket PC Installer
Code-Lock
Visual Patch
Logic Protect EXE Creator
C & C++
Components & Libraries
Databases & Networks
Delphi
Development Kits
Editors, IDEs & Coding Utilities
Help File Tools
Installation Builders
Integration Tools
Java
JavaScript
Languages - Others
Macro Schedulers
Management & Distribution
Backup Gnu Open Windows
Download Gnu Commander Windows
Gnu Barcode Windows
Gnu Cat Windows Download
Gnu Commands Windows
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).
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 ...

