Report copyright - Lecture07-DatalogProofTheory n EvalutationParadigms · 2 4 µ R:˜p(X,Z)˜:-p(X,Y),˜p(Y,Z) ˜ ˜ground˜facts˜ p(a,b)˜ ˜p(b,c) ˜ ={X/a,Y/b,Z/c}µ ˜ µ ˜ ˜ ˜ fact p(a,c) ˜R’:˜p(X,Y)˜:-p(Y,X)
Please pass captcha verification before submit form