人工智能程序设计语言..docVIP

人工智能程序设计语言----Prolog 1概述 1970年由法国马赛大学Alain Colmerauer等开发，作为逻辑程序设计的工具。 很多著名的专家系统外壳都用Prolog编写，如ESP/Advisor, APE, X1等。 程序特点：陈述式语言。只要给出必要的事实和规则，Prolog就可以用演绎推理自动求解问题。而过程式语言必须告之求解过程才行。 实例与基本概念： 一个Prolog的实例程序如下： domains /*领域声明段*/ person,activity=symbol /*域person和activity的声明，symbol为标准域*/ predicates /*谓词格式说明段*/ likes(person,activity) /*likes为谓词名，表示某人person喜欢activity活动*/ clauses /*子句段*/ likes(ellen,tennis). /*事实：ellen喜欢tennis*/ likes(john,football). likes(tom,baseball). likes(eric,swimming). likes(mark,tennis). likes(bill,X):-likes(tom,X). /*规则：tom喜欢的，bill也喜欢*/ goal /*目标段*/ likes(bill,football). /*考察