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
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 ...
LM Containers
Business - Industrial Goods and Services - Industrial Supply - Materials Handling - Manual - Pallets - Metal and Plastic. Custom aluminum pallets and storage containers. ...
www.lmcontainers.com
LM_NET
Reference - Libraries - Library and Information Science - Chats and Forums. Discussion group open to school library media specialists worldwide, and to people involved with the school library media fi ...
www.eduref.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
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. ...
top
