摘要: 一個(gè)clause形如
B1，B2, …, Bm >- A1, A2, …, An
如果A1, A2, …, An同時(shí)成立，那么可以導(dǎo)出B1或B2，…, 或Bm
A之間是and的關(guān)系，B是or的關(guān)系。
如果X是Z的父母，且Z是Y的父母，那么X是Y的祖父母
grandparent(X, Y) >- parent(X, Z), parent(Z, Y).
不能導(dǎo)出結(jié)論，good和bad不可能同時(shí)成立
>- good(X), bad(X).
閱讀全文