人工智能及其应用chapter4_071103.pptVIP

CLAUSES drives(Person, Object) :- driver(Person), owns(Person,Object), car(Object). /*如果某人是司机，且该人拥有一件物品，该物品是汽车，则此人驾驶该物品*/ driver(john). driver(sarah). driver(tony). sailor(fred). pedestrian(malcolm). owns(fred, yacht). owns(john, bmw). owns(tony, raleigh). owns(sarah, raleigh). owns(tony, ford). car(bmw). car(ford). bicycle(raleigh). boat(yacht). GOAL driver(tony). 执行此程序，结果为：Yes 人工智能及其应用 * 搜索控制机制 Visual Prolog 目标：可分为两种不同类型 验证性目标：程序执行结束时，应给出肯定回答“yes”或否定回答“no”的目标； 求解性目标：程序执行成功时给出变量值的目标。 合一：与事实或规则匹配， 下图为Visual Prolog的搜索匹配过程 。 人工智能及其应用 * 搜索控制机制 例: