Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
25Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
Logic in Prolog

Logic in Prolog

Ratings: (0)|Views: 409|Likes:
Published by khaukaronaldo5176
prolog programming
prolog programming

More info:

Published by: khaukaronaldo5176 on Jul 14, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

10/19/2011

pdf

text

original

 
LOGIC, PROGRAMMING ANDPROLOG (2ED)
Ulf Nilsson and Jan Ma luszy´nski
Copyrightc
2000, Ulf Nilsson and Jan Maluszy´nski. The book may be down-loaded and printed for personal use only provided that the text (1) is not alteredin any way, and (2) is accompanied by this copyright notice. The book may alsobe copied and distributed in paper-form for non-profit use only. No other formof distribution is allowed. It is not allowed to distribute the book electronically.This book was previously published by John Wiley & Sons Ltd. The book wasoriginally published in 1990 with the second edition in 1995. The copyright wasreverted back to the authors in November 2000.For further information about updates and supplementary material please checkout the book web-site at
http://www.ida.liu.se/~ulfni/lpp
or contact the authors at
ulfni@ida.liu.se
and
janma@ida.liu.se
.
 
Contents
Preface ix
I Foundations 1
1 Preliminaries 3
1.1 Logic Formulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.2 Semantics of Formulas . . . . . . . . . . . . . . . . . . . . . . . . . . . 71.3 Models and Logical Consequence . . . . . . . . . . . . . . . . . . . . . 101.4 Logical Inference . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131.5 Substitutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2 Denite Logic Programs 19
2.1 Denite Clauses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192.2 Denite Programs and Goals . . . . . . . . . . . . . . . . . . . . . . . 212.3 The Least Herbrand Model . . . . . . . . . . . . . . . . . . . . . . . . 242.4 Construction of Least Herbrand Models . . . . . . . . . . . . . . . . . 29Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3 SLD-Resolution 33
3.1 Informal Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . 333.2 Unication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373.3 SLD-Resolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 433.4 Soundness of SLD-resolution . . . . . . . . . . . . . . . . . . . . . . . 483.5 Completeness of SLD-resolution . . . . . . . . . . . . . . . . . . . . . . 513.6 Proof Trees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57v

Activity (25)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
Dawit Giday liked this
theblessed liked this
kirandeluxe liked this
sanyaade liked this
krantir12389 liked this
tara02 liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->