GDL规则分析与游戏逻辑扩展实践

1、现在考虑下一组规则：succ(1,2)，succ(2,3)，succ(3,4)，base(step(1))，base(step(N)) :- succ(M,N)。将节点1、2、3、4、step以及节点succ[1]、succ[2]、step[1]添加到域图中，并添加从给定子句得出的所有边。使用得到的图来确定关键字base的可能参数。

根据规则，已知 base(step(1)) ，又因为有规则 base(step(N)) :- succ(M,N) ，结合 succ(1,2) 、 succ(2,3) 、 succ(3,4) ，可得当 M = 1 ， N = 2 ； M = 2 ， N = 3 ； M = 3 ， N = 4 时满足条件。所以关键字 base 的可能参数为 step(1) 、 step(2) 、 step(3) 、 step(4) 。

2、(c) 根据以下规则进一步扩展领域图。规则为：role(robot)；input(robot,stack(X,Y)) :- block(X) & block(Y)；input(robot,unstack(X,Y)) :- block(X) & block(Y)。使用得到的图来确定关键字 input 可能的参数。

根据规则，关键字 input 可能的参数为 (robot,stack(X,Y)) 和 (robot,unstack(X,Y)) ，其中 X 和 Y 为积木（block）。

3、实