Algorytm = Logika + Sterowanie
Wybrane książki
Literatura podstawowa
- W.F. Clocksin, C.S. Mellish: Prolog. Programowanie
- I. Bratko: PROLOG Programming for Artificial Intelligence
- L. Sterling, E.Y. Shapiro: The Art of PROLOG. Advanced Programming Techniques
- R.A. O'Keefe: The Craft of PROLOG
- L. Sterling: The Practice of PROLOG
Literatura dodatkowa
- M.M. Huntbach, G.A. Ringwood: Agent-oriented Programming. From PROLOG to Guarded Definite Clauses.
- K.R. Apt, M.G. Wallace: Constraint Logic Programming using ECLiPSe.
- M.A. Bamer: Logic Programming with PROLOG.
- W.F. Clocksin: Clause and Effect. PROLOG Programming for the Working Programmer.
- C.S. Mellish, W.F. Clocksin: Programming in PROLOG. Using the ISO Standard.
- K.R. Apt: Principles of Constraint Programming.
- M.A. Covington: PROLOG Programming in Depth.
- Ch.J. Hogger: Essentials of Logic Programming.
- S.C. Dik: Functional Grammar in PROLOG. An Integrated Implementation for English, French and Dutch.
- S.H. Kim: Knowledge Systems Through PROLOG. An Introduction.
- P. Blackburn, J. Bos, K. Striegnitz: Learn PROLOG Now!
- R. Lucas: Mastering PROLOG
- E. Tick: Memory Performance of PROLOG Architectures.
- A. Gal, G. Lapalme, P. Saint-Dizier, H. Somers: PROLOG for Natural Language Processing.
- M.A. Covington: Natural Language Processing for PROLOG Programmers.
- R. Yang: P-PROLOG. A Parallel Logic Programming Language.
- J. Beer: Concepts, Design and Performance Analysis of a Parallel PROLOG Machine.
- T.P. Dobry: A High Performance Architecture for PROLOG.
- K.R. Apt: From Logic Programming to PROLOG.
- Ch. Moss: PROLOG++. The Power of Object-oriented and Logic Programming.
- P. Deransart, A.A. Ed-Dbali, L. Cervoni: PROLOG - the STandard. Reference Manual.
- D. Callear: PROLOG Programming for Students.
- T. Van Le: Techniques of PROLOG Programming. With Implementation of Logical Negation and Wuantified Goals.
- M. Eisenstadt, M. Brayshaw, J. Paine: The Transparent Prolog Machine. Visualizing Logic Programs.
- H. Ait-Kaci: Warren's Abstract Machine. A Tutorial Reconstruction.
Dziedzictwo Prologu
Gorąco polecam strony zawierające dokumentacje i implementacje systemów Prolog I, Prolog II, Prolog III i Prolog IV:
To są prawdziwe kamienie milowe w badaniach nad programowaniem w logice!
Darmowe implementacje
Komercyjne implementacje
Wiele z powyższych implementacji dostępnych jest również za darmo albo do darmowego wypróbowania.