home *** CD-ROM | disk | FTP | other *** search
/ Programmer 7500 / MAX_PROGRAMMERS.iso / PASCAL / TPROLOG.ZIP / BOOKS.PRO next >
Encoding:
Text File  |  1991-08-04  |  1.4 KB  |  33 lines
  1.  
  2. The following is a list of PROLOG-RELATED books that I have run accross
  3. which may be of interest:
  4.  
  5. Clocksin & Mellish, Programming in Prolog,  Springer-Verlag
  6. This book is to Prolog what Wirth's User Manual and Report is to Pascal.
  7. It is a bit difficult and more concerned with describing the language
  8. than applications.
  9.  
  10. Burnham & Hall, Prolog Programming and Applications, Halstead Press
  11. A better introduction to the language than C&M.  Lots of examples.
  12. I recommend it if you still need help after working through Borland's
  13. tutorial.
  14.  
  15. Conlon, Learning Micro-Prolog, Addison-Wesley
  16. Good examples but the difference between Micro-Prolog and "standard"
  17. get in the way.  There are several other Micro-Prolog books but stay
  18. away from them;  the differences in notation will do nothing but
  19. confuse you.
  20.  
  21. Li, A PROLOG Database System, Research Studies Press
  22. Li's dissertation on building a DBMS.  Heavy but worth it if you
  23. do want to build a big relational DBMS in Prolog.
  24.  
  25. Wos, et.al., Automated Reasoning, Prentice Hall
  26. This is not a Prolog book;  Wos has his own language but it works a lot like
  27. prolog and relys as heavily on Horn clauses.  Good introduction with plenty of
  28. excellent examples to the whole field of predicate calculus.
  29.  
  30. Please feel free to add to this list or offer any comments on the above
  31. books.
  32.                Bob Wooster, CIS 72415,1602
  33.