Prolog
| Paradigm | Logic programming |
|---|---|
| Designed by | Alain Colmerauer |
| First appeared | 1972 |
| Major implementations | |
| BProlog, Ciao Prolog, ECLiPSe, GNU Prolog, P#, Quintus, SICStus, Strawberry, SWI-Prolog, tuProlog, YAP-Prolog | |
| Dialects | |
| ISO Prolog, Edinburgh Prolog | |
| Influenced | |
| Visual Prolog, Mercury, Oz, Erlang, Strand, KL0, KL1 | |
References
- William F. Clocksin, Christopher S. Mellish: Programming in Prolog: Using the ISO Standard. Springer, 5th ed., 2003, ISBN 978-3540006787. (This edition is updated for ISO Prolog. Previous editions described Edinburgh Prolog.)
- William F. Clocksin: Clause and Effect. Prolog Programming for the Working Programmer. Springer, 2003, ISBN 978-3540629719.
- Michael A. Covington, Donald Nute, Andre Vellino, Prolog Programming in Depth, 1996, ISBN 0-13-138645-X.
- Michael A. Covington, Natural Language Processing for Prolog Programmers, 1994, ISBN 0-13-629213-5.
- Leon Sterling and Ehud Shapiro, The Art of Prolog: Advanced Programming Techniques, 1994, ISBN 0-262-19338-8.
- Ivan Bratko, PROLOG Programming for Artificial Intelligence, 2000, ISBN 0-201-40375-7.
- Robert Kowalski, The Early Years of Logic Programming, CACM January 1988.
- ISO/IEC 13211: Information technology — Programming languages — Prolog. International Organization for Standardization, Geneva.
- Alain Colmerauer and Philippe Roussel, The birth of Prolog, in The second ACM SIGPLAN conference on History of programming languages, p. 37-52, 1992.
- Richard O'Keefe, The Craft of Prolog, ISBN 0-262-15039-5.
- Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn Prolog Now!, 2006, ISBN 1-904987-17-6.
External links
Wikibooks has more on the topic of: Prolog
- comp.lang.prolog FAQ
- Prolog: The ISO standard
- DECsystem-10 Prolog User’s Manual (plain text) describes a typical Edinburgh Prolog
- Prolog Tutorial by J.R.Fisher
- Runnable examples by Lloyd Allison
- On-line guide to Prolog Programming by Roman Bartak
- Learn Prolog Now! by Patrick Blackburn, Johan Bos and Kristina Striegnitz
- Prolog and Logic Programming by Dr Peter Hancox
- Building Expert Systems in Prolog, online book by Amzi! Inc.
- Literate programming in Prolog
- Object Oriented Language: Prolog, OOLP and other extensions by Richard Katz