ring wandering
% socrates human(socrates).
mortal(X) :- human(X).
/*
mortal(Y). Y = socrates.
human(Y). Y = socrates.
human(socrates). true.
mortal(socrates). true.
*/
% 終了は % halt.
*mortal : 死ぬ運命にある、死を免れない
0 件のコメント:
コメントを投稿