标签： functional-programming prolog logic pseudocode language-implementation
我非常感谢用于实现Prolog的简单伪代码算法，其中伪代码被用作纯函数语言。
答案 0 :(得分：4)
The着名的SICP书有一章关于逻辑程序设计