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