ユーザ用ツール

サイト用ツール


プロログ

prolog

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