2009/11/21

Prolog 空を飛ぶのは飛行機もしくはスーパーマン

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 件のコメント:

コメントを投稿