論理プログラミングの実装方法

論理プログラミングはオブジェクト指向プログラミングや関数型プログラミングほど知られていないが、特定の問題に対して有効である。

論理プログラミングでは関数ではなく関係を使ってプログラムを記述する。

Prologは最もよく知られている論理プログラミング言語で、関係や事実を使ってプログラミングを行う。

DatalogはPrologのサブセットであり、Turing完全性を持たないため、関係性をモデル化するのに適している。

Datalogの評価はナイーブ評価という単純な方法で実現できる。