論理プログラミング

【ろんりぷろぐらみんぐ (logic programming)】

知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼ばれ, ``それを成り立つようにするには, いくつかのそれぞれ異なる条件が満たされればよいことを記述する論理式集合の処理を対象として, ある論理式が成り立つかどうかの検証過程を計算過程とみなしたコンピュータプログラムを論理プログラム, このような計算原理に基づくプログラム法を論理プログラミングという.