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

-prolog book (Artificial Intelligence Programming in Prolog), University of Edinburgh, UK prolog tutorial, it is online, I downloaded an e-book has become packaged (including DCG grammar (Definite Clause Grammars), is very suitable to use prolog-based learning Formal Semantics friends)