SWI-Prolog
Computers - Programming - Languages - Prolog - Implementations. Stable and free standard Prolog implementation. Targeted primarily at research and education. Windows, Linux and Unix versions available. Comes with a visual debugger and a GUI environment. ...
www.swi-prolog.org
SWI-Prolog -- SGML/HTML/XML/RDF handling
Reference - Libraries - Library and Information Science - Technical Services - Cataloguing - Metadata - RDF - Applications. A package for SWI-Prolog that provides a parser for mapping RDF, XML and SGM ...
www.swi-prolog.org
IF/Prolog
Computers - Programming - Languages - Prolog - Implementations. A Prolog implementation for use in industrial and commercial environments. It complies with the ISO Prolog standard and runs on UNIX and MS-Windows environments. IF/Prolog has a rich set of interfaces to standard software components and an additional ...
www.ifcomputer.de
Prolog :- Tutorial
Computers - Programming - Languages - Prolog. From basics to advanced topics tutorial by J.R.Fisher. ...
www.intranet.csupomona.edu
GNU Prolog
Computers - Programming - Languages - Prolog - Implementations. This compiler accepts Prolog + constraint... of this executable can be quite small since GNU Prolog can avoid linking the code of most unused built-in predicates. The performance of GNU Prolog is very encouraging (comparable to commercial ...
www.gprolog.org
B-Prolog
Computers - Programming - Languages - Prolog - Implementations. Versatile and efficient CLP system based on Prolog with extensions for programming concurrency, constraints and interactive graphics. Runs on: Windows 9x/NT/2000/XP, Linux, Mac, Solaris, HP-UX, FreeBSD, SonyNews, Aix. Free evaluation version ...
www.probp.com
OOPWeb - Prolog Directory
Computers - Programming - Languages - Prolog. Prolog programming tutorial and online book. ...
www.oopweb.com
FAQ: Prolog Implementations
Computers - Programming - Languages - Prolog. Information about Prolog Implementations. ...
www.cs.cmu.edu
Prolog Resource Guide
Computers - Programming - Languages - Prolog. The complete FAQs from news:comp.lang.prolog ...
www.cs.cmu.edu
Amzi! Prolog + Logic Server
Computers - Programming - Languages - Prolog - Implementations. This extensible Prolog version runs under Windows, Linux, Solaris and HP/UX, supporting development of client and server applications embeddable in the web, C/C++, Java, Delphi, Visual Basic and other environments. An IDE is available for Windows ...
www.amzi.com
Course on Prolog
Computers - Programming - Languages - Prolog. A concise, example-based introduction to Prolog for people from the humanities. Uses the freely-available Prolog+CG as the example implementation. ...
www.huminf.aau.dk
An introduction to Prolog
Computers - Programming - Languages - Prolog. A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier. ...
invaders.mars-attacks.org
Prolog Parsers
Computers - Programming - Languages - Prolog. A study of the efficiency of various parsing techniches in Prolog, e.g. top-down, bottom-up, oracles, prediction, left-corner, chart. Also a comparison with Lisp. Examples in Prolog and Lisp. ...
utenti.lycos.it
NU-Prolog
Computers - Programming - Languages - Prolog - Implementations. The successor of MU-Prolog, this compiled Prolog system designed and implemented in the mid-80's as a 'purer' logic solution, interfaces with UNIFY databases and is available under an academic license. ...
www.cs.mu.oz.au
Qu-Prolog
Computers - Programming - Languages - Prolog - Implementations. The Software Verification Research Centre (Univ. of Queensland) extended version of Prolog currently released under Linux and Solaris is designed primarily as a prototyping language and tactic language for theorem provers, including support ...
www.itee.uq.edu.au
Trinc-Prolog, an object oriented prolog for Windows
Computers - Programming - Languages - Prolog - Implementations. Trinc-Prolog is a new development tool for the prolog language. Trinc-Prolog supports the ISO Prolog standard and has extended the prolog language with innovative object oriented features. TPWIN,an OO class library is available to develop ...
www.trinc-prolog.com
Prolog for Artificial Intelligence
Computers - Programming - Languages - Prolog. Open Source AI projects in Prolog. ...
mind.sourceforge.net
Ciao Prolog Development System
Computers - Programming - Languages - Prolog - Implementations. Full ISO-Prolog compliant system, modular design allows language restriction and extension. Descriptions, contacts, mail lists, downloads. [Open Source, GPL] ...
clip.dia.fi.upm.es
Aquarius Prolog 1.0
Computers - Programming - Languages - Prolog - Implementations. The compiler for this open-source version developed at UCB is built around the Berkeley Abstract Machine, a finer-grained rendition of WAM. An interpreter provided for program development is written in Prolog. ...
www.info.ucl.ac.be
SICStus Prolog 3
Computers - Programming - Languages - Prolog - Implementations. This ISO-conformant, performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension. ...
www.sics.se
Visual Prolog development tools
Computers - Software - Operating Systems - OS-2 - Development. Logic-programming development environment. GUIs and other programs developed with Visual Prolog are portable between OS/2 and Windows. Su ...
www.pdc.dk
DNS Resolver Module SWI interface
Computers - Systems - RISC OS - Documentation - API. For the ANT Resolver module [ANT]. ...
www.vigay.com
ESFM: Prolog Expert System for Forestry Management
Computers - Artificial Intelligence - Applications - Environment. A small expert system developed by Steve Jones of Reading University in 1988 for forestry management. The rules are Prolog clauses. In ...
www.cs.cmu.edu
top
