7 IR models based on predicate logic
7 IR models based on predicate logic
7 IR models based on predicate logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<str<strong>on</strong>g>IR</str<strong>on</strong>g> <str<strong>on</strong>g>models</str<strong>on</strong>g> <str<strong>on</strong>g>based</str<strong>on</strong>g> <strong>on</strong> <strong>predicate</strong> <strong>logic</strong> 19<br />
7.3.2 Hypertext structure<br />
docTerm(d1,ir). docTerm(d1,db).<br />
link(d1,d2). link(d2,d3). link(d3,d1).<br />
about(D,T) :- docTerm(D,T).<br />
about(D,T) :- link(D,D1) & about(D1,T).<br />
d3<br />
docterm<br />
d1<br />
d2<br />
link<br />
ir<br />
db<br />
?- about(D,ir)<br />
Norbert Fuhr