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 London: Prentice Hall, 1997. Book Condition: Fine. 328 pp., PAPERBACK (same isbn), light wear to spine else near fine. Bookseller Inventory # ZB1063458
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. No binding. Book Condition: As New. Like new condition. Bookseller Inventory # XX-006-X8-4711104