GNU Prolog 1 4

Daniel Diaz in Utilities

GNU Prolog is a free Prolog compiler with constraint solving over finite domains. GNU Prolog accepts Prolog constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone.


   
 

GNU Prolog is a free Prolog compiler with constraint solving over finite domains. 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. 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. 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.

GNU Prolog 1 4 Utilities software developed by Daniel Diaz. The license of this utilities software is freeware, the price is free, you can free download and get a fully functional freeware version of GNU Prolog. Do not use illegal warez version, crack, serial numbers, registration codes, pirate key for this utilities freeware GNU Prolog. Always use genuine version that is released by original publisher Daniel Diaz.


Similar Software

GNU Prolog Console 1.4.3 Daniel.Diaz  Misc. Dev. Tools

GNU Prolog Console provides you with an intuitive compiler for the Prolog programming language, which is used for creating computational linguistics applications. GNU Prolog Console features a constraint solver, an interpreter, a debug tool, fast code execution and line buffering. Additionally,...

GNU Prolog for Windows (x32 bit) 1.4.3 Daniel Diaz  Misc. Dev. Tools

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

GNU Prolog for Windows (x64 bit) 1.4.3 Daniel Diaz  Misc. Dev. Tools

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

XGP: Mac OS X Prolog IDE 1.2.0 xgp.sourceforge.net  Misc. Dev. Tools

XGP is an integrated development environment that extends GNU Prolog to work with Cocoa under Macintosh OS X. It provides user interface and graphics facilities largely compatible with MacProlog32 by LPA. Requires Mac OS X version 10.2.1 or greater.

tabard 1.0 Tabard  Maintenance

GNU Prolog API for distributed multithreading programming built on top of the PM2 environment. The thread management is made with a user-level multithreading library and communication is made on top of Madeleine, the communication subsystem of PM2. tabard 1.0 License - BSD License

TSP with ANT COLONY ALGORITHM 1.0 Tspantcolony  Miscellaneous

This project is coded by SWI-PrologFind the shortest path depending on Prolog Programming Language with Ant Colony AlgorithmIt is under GNU-License TSP with ANT COLONY ALGORITHM 1.0 License - GNU General Public License (GPL)

GNU Privacy Guard 1. 4. 2011 Free Software Foundation  Security & Privacy

GNU Privacy Guard is the GNU project that implements the GNUPG standard. With this software you can generate a key pair (public and private) to digitally encrypt and sign documents, e-mails and a lot more. First of all, after installing the software, you may want to add the binary folder to your...

SICStus Prolog 4.1.3.1000 SICS  Utilities

SICStus Prolog provides constraint programming with several constraint solvers. This technology has been successfully used in commercial applications as well as in research projects. SICStus Prolog has integrated support for developing web based applications. The new module, PrologBeans, makes...

sql-prolog 1.0 Sql-prolog  Misc. Dev. Tools

Interface (a subset of SQL-92) to in-memory Prolog database, with utilities to fill tables with random data and evaluate the performances, mainly of aggregation. Thanks to SWI-Prolog a simple HTTP client-server interface is available. sql-prolog 1.0 License - GNU General Public License (GPL)

Prolog+CG 2.0.15 Prologpluscg  Misc. Utils.

Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included. Prolog+CG 2.0.15 License - GNU General Public License version 2.0...


Popular Software of - Utilities

English To Hindi and Hindi To English 7.0 Sobolsoft  Utilities

English To Hindi and Hindi To English Converter Software it will convert English sentences to Hindi and Hindi sentences to English. The only limitation of this program is that you can not save translated text. This converter software is an easy to use application.

Volume Serial Number Editor 1.70 KRyLack Software  Utilities

Volume Serial Number Editor is a tool to change the hard drive volume serial number. This disk serial number is automatically generated and assigned when you format a disk partition and there is no documented way to change it without reformatting the disk volume. The format of volume serial...

ASUS Drivers Update Utility 2.8 DGTSoft Inc.  Utilities

ASUS Drivers Update Utility updates your system drivers for ASUS devices automatically with just several clicks. It will scan your system first then download and install ASUS official drivers to let your ASUS device work properly. The ASUS Driver Update Utility keeps your system up-to-date. It...

Automatic Mouse and Keyboard 3.2.4.4 Robot-Soft.com, Inc.  Utilities

Automatic Mouse and Keyboard is a really powerful and easy-to-use Mouse and Keyboard automation tool. It makes your mouse move and click automatically on locations that you defined. It can use a small picture to locate a point on the screen, which makes it very flexible. Regardless of where the...

CutFour HD 3.0 AvTake  Utilities

CutFour HD is a useful and reliable professional real time HD live video mixing software. Features: - Video input interface supports Black Magic Design PCI-E capture cards (Decklink series and Intencity Pro). SDI / HDMI / component / S-video / composite video inputs (Depends which capture...

Change File Extension Shell Menu 2. 8. 2006 T800 Productions  Utilities

The Change File Extension Shell Menu is a powerful and reliable program with an easy to use interface that helps you to change file extension. You can rename one file extension, selected files, or all files in any folder. You just place all the files with extension that you want to change into...

ADC Instruments USB Driver 2 4 ADC  Utilities

Installing and Uninstalling the ADC Instruments USB Driver. This Software is a device driver that is used to control test and measurement instruments, which are made by ADC Corp., from a PC through a USB interface. This driver provides functions, which can be used in ADC's instruments, in...

Acer Drivers Update Utility 2.8 DGTSoft Inc.  Utilities

Acer Drivers Update Utility updates your system drivers for Acer devices automatically with just several clicks. It will scan your system first then download and install Acer official drivers to let your Acer device work properly. The Acer Driver Update Utility keeps your system up-to-date. It...

Shoshi English to Bangla Dictionary 1 4 PicoTech  Utilities

Shoshi English to Bangla Dictionary is a complete dictionary software with all the current words. The main purpose of creating the dictionary is to help the researchers, teachers & students who needs a dictionary very frequently. This dictionary will fulfill their needs without wasting...

Yahoo Messenger Chat Recovery Program 5.0.1 Yahoo Messenger Chat Recovery Program  Utilities

Yahoo Messenger Archive recovery Program easily recovers and decodes all yahoo chat archive messages .dat files. Software easily decodes yahoo archive files and saves retrieve chat conversations data in RTF or plain text format. archive reader tool recover chat history data stored on your local...