論理型プログラミング言語 命令型プログラミング言語と異なる Prologの構成要素 事実 ルール ルール名(引数1, 引数2, ...) :- サブゴール1, サブゴール2, ... . すべてのサブゴールが満たされるとき、yesになる 質問 文法 小文字: アトム 大文字 or アンダーバー: 変数