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

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!