Cover Image

From logic programming to prolog

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...

Full description

Saved in:
Bibliographic Details
Main Author: Apt, Krzysztof R. 1949- (Author)
Format: Book
Language:English
Published: London New York Prentice Hall 1996
Series:Prentice Hall international series in computer science
Subjects:
Logic programming
Prolog ( Computer program language )
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items