ADRIAN WALKER MICHAEL MCCORD JOHN F.SOWA WALTER G.WILSON2222 年出版475 页ISBN：0201090449
雷英杰等编著2004 年出版412 页ISBN：7118032824
本书介绍Visual Prolog语言的功能特点、编程方法、开发环境及编程接口。
Pro/ENGINEER Wildfire Basic Tutorial
赖一楠，白清顺主编2006 年出版320 页ISBN：7560323715
本书主要以建模和设计的基本概念为主介绍最新版本Pro/Enginer Wildfire 2.0在计算机辅助设计中的使用。
ARTIFICIAL INTELLIGENCE TECHNIQUES IN PROLOG
YOAV SHOHAM1994 年出版327 页ISBN：1558601678
POSTSCRIPT LANGUAGE TUTORIAL AND COOKBOOK ADOBE SYSTEMS
2222 年出版244 页ISBN：0201101793
李文峰等编译1991 年出版274 页ISBN：7115045143
本书从逻辑思想上深刻剖析了Micro-PROLOG语言
