Changeset 33205 in project


Ignore:
Timestamp:
02/23/16 00:43:29 (3 years ago)
Author:
svnwiki
Message:

Anonymous wiki edit for IP [177.104.48.1]:

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/4/pll

    r33204 r33205  
    378378implementations of Prolog.
    379379
    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
     3801. '''William Clocksin, Chris Mellish'''. ''"Programming in Prolog"''.   Springer, 2003. [ a very basic text ]
     381   
     3822. '''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
     3843. '''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   
     3864. '''Richard O'Keefe'''. ''"The Craft of Prolog"''. MIT Press, 1990. [ advanced   programming techniques ]
     387   
     3885. '''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   
     3906. '''Peter Norvig'''. ''"Paradigms of Artificial Intelligence   Programming"''. Morgan Kaufmann, 1992. [ part of the book explains   unification and contains another Prolog implementation, in Common
    403391   Lisp ]
    404392   
    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. ]
     3937. '''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   
     3958. '''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.