Changeset 33205 in project
- Timestamp:
- 02/23/16 00:43:29 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
wiki/eggref/4/pll
r33204 r33205 378 378 implementations of Prolog. 379 379 380 1. '''William Clocksin, Chris Mellish'''. ''"Programming in Prolog"''. 381 Springer, 2003. [ a very basic text ] 382 383 2. '''Michael Covington, Donald Nute, André Vellino''' ''"Prolog Programming 384 in Depth"''. Scott, Foresman and Company, 1988. [ quick introduction 385 to Prolog, followed by some advanced programming techniques and 386 application ] 387 388 3. '''Leon Sterling, Ehud Shapiro'''. ''"The Art of Prolog"''. MIT Press, 1994. 389 [ solid introduction to Prolog, including the execution model -- 390 strongly recommended for those who want to understand the 391 internals of the interpreter ] 392 393 4. '''Richard O'Keefe'''. ''"The Craft of Prolog"''. MIT Press, 1990. [ advanced 394 programming techniques ] 395 396 5. '''Harold Abelson, Gerald Jay Sussman''' ''"Structure and Interpretation 397 of Computer Programs"''. Addison-Wesley, 1996. [ explains and implements in 398 Scheme the AMB operator and a small Prolog interpreter ] 399 400 6. '''Peter Norvig'''. ''"Paradigms of Artificial Intelligence 401 Programming"''. Morgan Kaufmann, 1992. [ part of the book explains 402 unification and contains another Prolog implementation, in Common 380 1. '''William Clocksin, Chris Mellish'''. ''"Programming in Prolog"''. Springer, 2003. [ a very basic text ] 381 382 2. '''Michael Covington, Donald Nute, André Vellino''' ''"Prolog Programming in Depth"''. Scott, Foresman and Company, 1988. [ quick introduction to Prolog, followed by some advanced programming techniques and application ] 383 384 3. '''Leon Sterling, Ehud Shapiro'''. ''"The Art of Prolog"''. MIT Press, 1994. [ solid introduction to Prolog, including the execution model -- strongly recommended for those who want to understand the internals of the interpreter ] 385 386 4. '''Richard O'Keefe'''. ''"The Craft of Prolog"''. MIT Press, 1990. [ advanced programming techniques ] 387 388 5. '''Harold Abelson, Gerald Jay Sussman''' ''"Structure and Interpretation of Computer Programs"''. Addison-Wesley, 1996. [ explains and implements in Scheme the AMB operator and a small Prolog interpreter ] 389 390 6. '''Peter Norvig'''. ''"Paradigms of Artificial Intelligence Programming"''. Morgan Kaufmann, 1992. [ part of the book explains unification and contains another Prolog implementation, in Common 403 391 Lisp ] 404 392 405 7. '''Jacques Chazarain''', ''"Programmer Avec Scheme"''. International Thomson 406 Publishing France, 1996 (in French). [ a very good book on 407 Scheme. chapters 15-19 focus on Prolog ] 408 409 8. '''J. A. Campbell'''. ''"Implementations of PROLOG"''. Ellis Horwood, 1984. 410 [ a study of implementation techniques. quite advanced. ] 393 7. '''Jacques Chazarain''', ''"Programmer Avec Scheme"''. International Thomson Publishing France, 1996 (in French). [ a very good book on Scheme. chapters 15-19 focus on Prolog ] 394 395 8. '''J. A. Campbell'''. ''"Implementations of PROLOG"''. Ellis Horwood, 1984. [ a study of implementation techniques. quite advanced. ]
Note: See TracChangeset
for help on using the changeset viewer.