例子 ◆指代: MOTHER(X,M):表示M是X的母亲 定义: CHILD(X,Y): -MOTHER(Y,X),X ◆可反驳的描述 对所有M和X有, MOTHER(XM)→>_ MOTHER(MX) ◆粗略的框架: 每个人实际上都只属于一个家庭例子  指代： MOTHER(X,M)：表示M是X的母亲  定义： CHILD(X,Y) ::= MOTHER(Y,X)FATHER(Y,X)  可反驳的描述： 对所有M和X有，MOTHER(X,M) → MOTHER(M,X)  粗略的框架： 每个人实际上都只属于一个家庭