Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Essentials of logic programming
Hogger C., Oxford University Press, Inc., New York, NY, 1990. Type: Book (9780198538325)
Date Reviewed: Sep 1 1992

The organization of this textbook on the essentials (not foundations) of logic programming is unusual but highly effective. The book is divided into 60 short “themes”; between two and four themes can be covered in a class period. The themes include well-written and concise technical material, as well as cultural asides that place the various aspects of logic programming in perspective and make the book interesting to read.

This work can be read by anyone who has mastered a course in discrete mathematics; it would be appropriate as a second-semester text in discrete mathematics. The book covers many topics that every computer scientist should know something about, including mathematical logic,  theorem  proving, resolution, the semantics of definite programs, partial evaluation, and program verification. The book does an excellent job of introducing these ideas in the context of logic programming.

The exercises are good and answers are provided at the end of the text. A few references are listed in the theme titled “Supplementary Texts,” but a more comprehensive bibliography would make a nice addition to the text.

Reviewer:  Carol Tretkoff Review #: CR115729
Bookmark and Share
 
Logic And Constraint Programming (F.4.1 ... )
 
 
Logic Programming (I.2.3 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Logic And Constraint Programming": Date
Negation by default and unstratifiable logic programs
Bidoit N., Froidevaux C. Theoretical Computer Science 78(1): 85-112, 1991. Type: Article
Feb 1 1992
Programming in three-valued logic
Delahaye J. (ed), Thibau V. Theoretical Computer Science 78(1): 189-216, 1991. Type: Article
Jan 1 1992
Logic and Prolog
Spencer-Smith R., Harvester Wheatsheaf, Hertfordshire, UK, 1991. Type: Book (9780135247945)
Mar 1 1993
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy