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