2011年2月13日日曜日

Prologの技芸 11.3節の練習問題

(1)

X \== Y :- X == Y, !, fail.
X \== Y.

(2)

nonvar(X) :- var(X), !, fail.
nonvar(X).
投稿者 時刻:
ラベル: ,

0 件のコメント:

コメントを投稿

登録: コメントの投稿 (Atom)