Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.
"synopsis" may belong to another edition of this title.
Book Description Prentice Hall, 1996. Book Condition: Good. 1st. N/A. Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP16783006
Book Description Prentice/Hall, 1997. sewed, 328 pp. International series in computer science. Bookseller Inventory # ww1932
Book Description Prentice Hall, 1996. No binding. Book Condition: Good. Good condition, some are ex-library and can have markings. Bookseller Inventory # GD-006-X8-4711104
Book Description Prentice Hall, 1996. No binding. Book Condition: Very Good. Very good. Bookseller Inventory # HH-006-X8-4711104
Book Description Prentice Hall, 1996. Textbook Binding. Book Condition: Used: Good. We ship International with Tracking Number! May not contain Access Codes or Supplements. Buy with confidence, excellent customer service! L. Bookseller Inventory # 013230368XD