E-Book Overview
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.
E-Book Content
!! "# # !! $ # % & & & & & ' ' & ' & # & #
' & & &&( && ) ' * & Æ && &&
& # + ' && & & & , - &&# . & ' & & Æ # . ) & ' , & & # . / , ' && && Æ & & && & ,# . && 0 # 1 2 & . ' #
#
0 &&
3# 3# 3#3 3#6
2 4 +
5
3
6# 6# 6#3 6#6 5# 5# 5#3 # # #3 #6
. $ 8
& 1/ 8 4 &&
&
3 3 6 6 67 5! 5
57 6
& % (
!"# $
7# 7# 7#3 7#6
2 249 $'
%
7! 73 7 :!
'
&
$
%
%%
:# :# :#3 # # #3
!# !# !#3 !#6
% % & & 8 & $ + -/ $ & 4* ; &&
:5 :7 :: 6
! ! !6
) * +
(
,
# # &
3# 1 & 3# 9 & 3#3 0& &
!7 !