| (1) |
%行动的定义 |
| (2) |
行动(X, X,没有):isPlace (X)。 |
| (3) |
行动(X, Y, cd): -房间(X),房间(Y), X \ = Y。 |
| (4) |
行动(X, Y, fc): - (X),交叉(Y), X \ = Y。 |
| (5) |
操作(X, Y, fc):门(X)、门(Y), X \ = Y。 |
| (6) |
操作(X, Y, fc):室内(X),室内(Y), X \ = Y。 |
| (7) |
行动(X, Y, cd): -房间(X)门(Y),而不是(关闭(Y)), X \ = Y。 |
| (8) |
操作(X, Y, fc):房间(X),室内(Y), X \ = Y。 |
| (9) |
行动(X, Y, fc): -十字架(X)门(Y), X \ = Y。 |
| (10) |
行动(X, Y, cd): -门(X),而不是(关闭(X)),室内(Y), X \ = Y。 |
| (11) |
%知道如果X是一个现有的地方 |
| (12) |
isPlace (X):房间(X)。 |
| (13) |
isPlace (X):门(X)。 |
| (14) |
isPlace (X):室内(X)。 |
| (15) |
isPlace (X):交叉(X)。 |
| (16) |
%比确保可逆性操作规则 |
| (17) |
isAction (X, X,行动):行动(X, X,行动)。 |
| (18) |
isAction (X, Y,行动):——行动(X, Y,行动),X \ = Y, ! |
| (19) |
isAction (X, Y,行动):——行动(Y、X、动作),X \ = Y, ! |
|
