【論理】Prolog【初心者】

[754 753 2014/09/17(水) 07:59:41.82 ID:JrDwRrBo]

右括弧が一つ足らなかった。

p(s(1,t(2))) :- !,q1.
p(s(X,t(Y))) :- q2.

と

p(s(1,t(2))) :- q1.
p(s(X,t(Y))) :- \+(X=1),\+(Y=2),q2.

でした。