Consider a deductive data base with the following rules
26.43 Consider a deductive data base with the following rules: (20 points)
r1Â : ANCESTOR(X, Y) :- FATHER(X, Y)
r2: ANCESTOR(X, Y) :- FATHER(X, Z), ANCESTOR(Z, Y)
Notice that FATHER(X, Y) means that Y is the father of X; ANCESTOR(X, Y) means that Y is the ancestor of X.
Notice that FATHER(X, Y) means that X is the father of Y; ANCESTOR(X, Y) means that X is the ancestor of Y.
Â
Consider the following fact base:
FATHER(Harry, Issac), FATHER(Issac, John), FATHER(John, Kurt)
Answers
Status NEW
Posted 29 May 2017 08:05 AM
My Price 7.00
-----------
Attachments
file 1496048139-Answer.docx preview (296 words )
2-----------6.4-----------3 C-----------ons-----------ide-----------r a----------- de-----------duc-----------tiv-----------e d-----------ata----------- ba-----------se -----------wit-----------h t-----------he -----------fol-----------low-----------ing----------- ru-----------les-----------: (-----------20 -----------poi-----------nts-----------) -----------r1Â----------- : -----------ANC-----------EST-----------OR(-----------X, -----------Y) -----------:- -----------FAT-----------HER-----------(X,----------- Y)----------- r-----------2: -----------ANC-----------EST-----------OR(-----------X, -----------Y) -----------:- -----------FAT-----------HER-----------(X,----------- Z)-----------, A-----------NCE-----------STO-----------R(Z-----------, Y-----------) -----------Not-----------ice----------- th-----------at -----------FAT-----------HER-----------(X,----------- Y)----------- me-----------ans----------- th-----------at -----------Y i-----------s t-----------he -----------fat-----------her----------- of----------- X;----------- AN-----------CES-----------TOR-----------(X,----------- Y)----------- me-----------ans----------- th-----------at -----------Y i-----------s t-----------he -----------anc-----------est-----------or -----------of -----------X. ----------- No-----------tic-----------e t-----------hat----------- FA-----------THE-----------R(X-----------, Y-----------) m-----------ean-----------s t-----------hat----------- X -----------is -----------the----------- fa-----------the-----------r o-----------f Y-----------; A-----------NCE-----------STO-----------R(X-----------, Y-----------) m-----------ean-----------s t-----------hat----------- X -----------is -----------the----------- an-----------ces-----------tor----------- of----------- Y.----------- C-----------ons-----------ide-----------r t-----------he -----------fol-----------low-----------ing----------- fa-----------ct -----------bas-----------e: ----------- FA-----------THE-----------R(H-----------arr-----------y,
Not Rated(0)