ring wandering
fly(X) :- airplane(X). fly(X) :- superman(X).
airplane(jet_plane). airplane(helicopter).
superman(taro).
/* fly(jet_plane). true.
fly(taro). true.
fly(Y). Y = jet_plane ; Y = helicopter ; Y = taro. */
0 件のコメント:
コメントを投稿