BinNet Corp.
C/C++ and Java based Prolog Compilers and Prolog based Internet Programming tools.
url: www.binnetcorp.com
Cetus Links: Prolog
This collection of non-commercial links treats Prolog within the context of object- and component-orientation.
url: www.cetus-links.org/oo_prolog.html
Course on Prolog
A concise, example-based introduction to Prolog for people from the humanities. Uses the freely-available Prolog+CG as the example implementation.
url: www.hum.auc.dk/cg/Module_II/10000.html
FAQ: Prolog Implementations
url: www-2.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/p...
Hello, World program
For Prolog.
url: www2.latech.edu/~acm/helloworld/prolog.html
INAP2001
14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001.
url: www.ifcomputer.co.jp/inap/inap2001/home_en.html
An Introduction to PROLOG
Prolog tutorials by James Power. Revised Alex Monaghan.
url: www.compapp.dcu.ie/~alex/LOGIC/start.html
An introduction to Prolog
A short introduction to Prolog by Loiseleur Michel and Vigier Nicolas.
url: etud.epita.fr:8000/~vigier_n/Prolog/
Is the ISO Prolog standard taken seriously
article by Roberto Bagnara.
url: www.cs.unipr.it/~bagnara/Papers/Abstracts/ALPN99a
JIPL: Java Interface for Prolog
Interface between Java and Prolog through JNI and reflection.
url: www.kprolog.com/jipl/index_e.html
Logic Programming Associates
This software house supplies WIN-PROLOG, MacProlog32 and Prolog++.
url: www.lpa.co.uk/
Logic Programming 3D Site
The main idea of this Site is 3D (VRML) representation of the World Wide Web. The Site describes the area of logic programming and Prolog. All the information was collected by Actor Prolog agents.
url: www.cplire.ru/Lab144/space/prolog.html
OOPWeb - Prolog Directory
Prolog programming tutorial and online book.
url: www.oopweb.com/Prolog/Files/Prolog.html
PC AI: The Prolog Programming Language
Explanations, links.
url: www.pcai.com/
PiLLoW
Programming in Logic Languages on the Web (PiLLoW) is a public-domain library for developing Web applications using (constraint) logic programming. It constitutes part of the Ciao Prolog development system.
url: www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html
ProFIT: Gregor Erbach
Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author.
url: www.coli.uni-sb.de/~erbach/
Prolog :- Tutorial
From basics to advanced topics tutorial by J.R.Fisher.
url: www.intranet.csupomona.edu/~jrfisher/www/prolog_tu...
Prolog for Artificial Intelligence
Open Source AI projects in Prolog.
url: mind.sourceforge.net/prolog.html
Prolog for Beginners
A comparison of several Prolog systems from a beginners perspective
url: www.fraber.de/university/prolog/
Prolog Help/References
Reference for beginner logic programmers in Prolog.
url: www.geocities.com/saviranid/
Prolog Parsers
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.
url: utenti.lycos.it/parsers/
Prolog Resource Guide
The complete FAQs from news:comp.lang.prolog
url: www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg...
ResearchIndex: Complete Logic Systems, Inc, September 1987. 80. D.H.D. Warren
Prolog Instruction Set, Technical Note, SRI International Artificial Intelligence Center, D.S. Warren, S. Dietrich, F. Pereira. The SB Prolog System, SUNY at Stony Brook. Several references for this Prolog.
url: citeseer.nj.nec.com/122169.html
Simply Logical
Intelligent Reasoning by Example.
url: www.cs.bris.ac.uk/~flach/SimplyLogical.html
Techref - Prolog
The Techref page regarding Prolog. Word Prolog meanings. Links.
url: techref.massmind.org/techref/language/prolog/index...
