|
|
|
|
Home / Computers / Programming / Languages / Prolog
|
| Categories |
|
|
|
|
- Computers/ Programming/ Languages/ POP-11@ (6)
|
|
|
|
Web Sites
|
- An introduction to Prolog - A short introduction to Prolog by Loiseleur Michel and Vigier Nicolas.
www.epita.fr/~vigier_n/Prolog
- Cetus Links: Prolog - This collection of non-commercial links treats Prolog within the context of object- and component-orientation.
www.cetus-links.org/oo_prolog.html
- clp(FD) - This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.
ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd
- FAQ: Prolog Implementations -
www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq.html
- Hello, World program - For Prolog.
www.latech.edu/~acm/helloworld/prolog.html
- IC-Prolog - As part of Imperial College's Logic Programming Group Software Products, this Edinburgh-style, WAM-based version provides multiple threading, an object-oriented layer, TCP interfacing and other features.
www-lp.doc.ic.ac.uk/software.html
- INAP2001 - 14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001.
www.ifcomputer.co.jp/inap/inap2001/home_en.html
- Is the ISO Prolog standard taken seriously - article by Roberto Bagnara.
www.cs.unipr.it/~bagnara/Papers/Abstracts/ALPN99a
- JIPL: Java Interface for Prolog - Interface between Java and Prolog through JNI and reflection.
Prolog.isac.co.jp/jipl/jipl_e.html
- K-Prolog - This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments.
Prolog.isac.co.jp/doc/en
- Logic Programming Associates - This software house supplies WIN-PROLOG, MacProlog32 and Prolog++.
www.lpa.co.uk
- Logtalk - An object-oriented extension to the Prolog programming language. It integrates logic programming with object-oriented and event-driven programming. Compatible with most Prolog compilers. [Open source]
www.logtalk.org
- OOPWeb - Prolog Directory - Prolog programming tutorial and online book.
www.oopweb.com/Prolog/Files/Prolog.html
- PC AI: The Prolog Programming Language - Explanations, links.
www.primenet.com/pcai/New_Home_Page/ai_info/pcai_prolog.html
- 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.
www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html
- ProFIT - Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.
www.coli.uni-sb.de/~erbach/formal/profit/profit.html
- ProFIT: Gregor Erbach - Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author.
purl.oclc.org/NET/gregor.html
- Prolog Comparison - Comparison of the most popular Prolog systems from a beginners point of view.
www.fraber.de/university/prolog
- Prolog Help/References - Reference for beginner logic programmers in Prolog.
www.geocities.com/saviranid
- 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.
citeseer.nj.nec.com/122169.html
- Simply Logical - Intelligent Reasoning by Example.
www.cs.bris.ac.uk/~flach/SimplyLogical.html
- Techref - Prolog - The Techref page regarding Prolog. Word Prolog meanings. Links.
techref.massmind.org/techref/language/prolog/index.htm
|
|
|
|
|