通过Prolog进行逻辑编程的简介An Introduction to Logic Programming Through Prolog
介绍逻辑编程，将三个基本组成部分组合在一起：逻辑本身的声明性，编写有效程序所需的编程技术以及计算机对逻辑编程的有效实现。
下载地址
用户评论
