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.csupomona.edu
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
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
JIPL: Java Interface for Prolog
Computers - Programming - Languages - Prolog. Interface between Java and Prolog through JNI and reflection. ...
www.probp.com
The Open University
Reference - Education - Colleges and Universities - Europe - United Kingdom - Open University. A university offering courses by the distance learning method. Information includes details of courses offered, teaching methods and access to course resources. ...
www.open.ac.uk
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
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
How to Suggest a Site to the Open Directory
Computers - Internet - Searching - Directories - Open Directory Project - Policies and Procedures - Submitting Sites. Official instructions and guidelines. ...
IDA Open Source Migration Guidelines
Computers - Software - Operating Systems - Open Source. From EUROPA Interchange of Data between Administrations, European Commission strategic initiative; practical, detailed recommendations ton migrate to Open Source Software office programs, calendaring, e-mail, others; developed with guidance from ...
ec.europa.eu
Prolog small
Computers - Programming - Languages - Prolog. Includes an introduction to Prolog, unification, the back-tracking search process, the source code of a Prolog interpreter, example Prolog programs, the logic of Sir Bedevere (Monty Python), and a Java applet that runs Prolog. ...
www.allisons.org
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
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.multimania.it
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 to teach programming within a course in knowledge representation using conceptual graphs. ...
cg.huminf.aau.dk
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
Open Disc
Computers - Open Source - Software. Compiles and distributes a CD-ROM containing a selection of open source software for Windows. Includes a forum and a FAQ section. ...