《Prolog Programming in Depth》: In this book, we emphasize practical Prolog programming, not just theory. We present several ready-to-run expert system shells, as well as routines for sorting,searching, natural language processing, and even numeri

prolog电子书（Artificial Intelligence Programming in Prolog ），英国爱丁堡大学prolog教程，本来是在线的，我下载下来打包成了一本电子书（包括DCG文法（Definite Clause Grammars），很适合想以prolog为基础学习形式语义学的朋友）