====== プロログ ======
==== prolog ====

{{tag>..c01}}

　一階述語論理に基づく論理型プログラミング言語．アルゴリズムを記述するのではなく，事実，規則を記述し，その実行は質問に対する推論であり，パターンマッチングによる検索とバックトラッキングによって行う．


~~NOCACHE~~