ENGLISH

Essentials of logic programming

By Christopher John , Hogger

Book information

Publisher
Oxford University Press,Clarendon Press
Year
1990
ISBN
9780198538325, 0-19-853832-4, 0-19-853820-0, 0-444-00365-7, 3-540-18199-7, 0-262-19250-0, 0-471-92625-6, 0-12-175520-7, 0-89391-232-8, 3-540-11046-1
Language
english
Format
DJVU
Filesize
2 MB (2383006 bytes)
Series
Graduate texts in computer science 1
Edition
Repr
Pages
299\315
Library
kolxo3
Time added
2019-04-25 18:00:00

Description

Content: Preface Acknowledgements Background (Themes 1-4) Overview (Themes 5-8) First-order logic (Themes 9-13) Clausal-form logic (Themes 14-18) Problem solving (Themes 19-22) The Herbrand domain (Themes 23-25) Resolution (Themes 26-30) Programming with SLD-resolution (Themes 31-39) Semantics of definite programs (Themes 48-53) Programming with finite failure (Themes 54-58) Verifying programs (Themes 59-60) Answers to exercises Index

Similar books