用于人工智能的prolog语言.pptxVIP

会计学; Prolog 是一种逻辑程序设计语言，基于一阶谓词逻辑，是典型的叙述型语言（Declaration Language）。 Prolog语言的特点： (1) 建立在一阶谓词逻辑和归结原理基础上，有自动推理功能。 (2) 用Prolog设计应用程序时，仅需指明领域中各对象间的关系和决策规 则，而应用这些知识的推理由Prolog 完成。 (3) Prolog应用程序，由数据库和规则库组成。 (4) Prolog程序设计要做三件事，即说明事实、定义规则、提出问题。;Prolog 有三种形式的语句：;证明公式：( (M(X) ? R(X) ) ? M(张三) )? R(张三) 恒真;用Prolog证明三段论：;4.2 家庭关系程序示例;完整的Prolog程序：;5.谁是jim的祖父母？;以上程序说明的几个重要观点：;Predicates parent(symbol) clauses parent(pam,bob). parent(tom,bob). parent(tom,liz). parent(bob,ann). parent(bob,pat). parent(pat,jim).;在Prolog中定义offspring(后代）关系;;predicates parent(symbol,symbol) sister(symbol,