2010年4月29日木曜日

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

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

0 件のコメント: