functional-programming - 純粋な関数型言語での Prolog の実装

Question

Prolog を実装するための単純な疑似コード アルゴリズムに大いに感謝します。疑似コードは純粋な関数型言語用と見なされます。

Answer 1

有名なSICPの本には、論理プログラミングに関する章があります。