UML中的经典之作， 不是编程语言 工具可以提供 至各种编程语言的代码生成 以及可以从现有 的程序逆向构筑模型 不是用于定理证明的高度正式的语言 实际上有很多正式的语 言 但它们不易理解或不适用于多种用途 是通用性的建模语言 对于特定的领域 如 设计 .! 电路设计或基于规则的人工智能 更特定的语言和工具可能更加合适 是离散的建模语言 它不打算对如工程和物理的连续系统建模 是对诸如软件 硬件或数字逻辑的离散系统建模的通用语言 -UML classic works

游戏编程精粹2第三章源码-two best games programming third chapter FOSS

Artificial Intelligence Neural Networks Algorithms Applications and Programming Techniques Addison Wesley，

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