Prolog始めたよ

Prologというプログラミング言語があります．Prologは論理型言語の一つで，一階述語論理に基づいて命題を与え，その命題が正しいかを再帰的手続きによって探索する言語である，とのことです．

処理系にはSWI-Prologを用いました．ダウンロードは↓から．
SWI-Prolog's home

入門はこちら．
M.Hiroi's Home Page / Prolog Programming

事実，規則:

fly(X) :- airplane(X).
airplane(jet_plane).
airplane(helicopter).

質問:

?- fly(jet_plane).
YES
?- fly(taro).
NO

こんな感じ．
時間がある時に適当に記事を書く予定です．