第3章图搜索与问题求解..ppt

/*状态图搜索通用程序*/ DOMAINS state=领域说明 %例如:state=symbol DATABASE-mydatabase 　　 open(state,integer) 　%用动态数据库实现OPEN表 　　closed(integer,state,integer) %和CLOSED表 　　 res(state) 　　 open1(state,integer) 　　min(state,integer) 　　mark(state) 　　 fail_ CLAUSES search(StartingCity,CitySum): - retractall(_,mydatabase),assert(closed(0,st(［］,0),0,0)), assert(open(st(［StartingCity］,0),0,0,0)),  assert(mark(StartingCity,CitySum)), repeat, searching,!. searching: -  open(State,BackPointer,Gx,_), retract(open(State,_,_,_)),  closed(No,_,_