resort.pro

prolog,人工智能推理程序,运行环境prolog

/*       resort knowledge base  */
 domains
      sb=symbol
      intelist=integer*
      data_list = data_type*
      data_type = is(sb,sb);
                  has(sb,sb);
                  is_on(sb,sb);
                  is_in(sb,sb);
                  is_by(sb,sb);
                  cost(sb,sb);
                  needs(sb,sb)
           
 predicates
       rule(integer,data_type,data_list,integer)
 clauses
       rule(1,has(X,bad_location),[is_on(X,busy_street)],70).
       rule(2,has(X,good_location),[is_by(X,ocean)],90).
       rule(2,has(X,good_location),[is_in(X,mountains)],85).
       rule(3,is(X,unsatisfactory),[has(X,bad_location),has(X,poor_service)],90).
       rule(3,is(X,unsatisfactory),[has(X,dirty_rooms)],80).
       rule(4,is(X,nice),[has(X,good_location),has(X,clean_rooms)],90).
       rule(5,is(X,expensity),[cost(X,over_100)],90).
       rule(6,is(X,inexpensive),[cost(X,under_30)],70).
       rule(7,is(X,fancy),[has(X,pool),has(X,entertainment),has(X,marble_floors)],80).
       rule(8,is(X,one_star),[is(X,unsatistactory),has(X,bugs),needs(X,repair)],80).
       rule(9,is(X,two_star),[is(X,nice),has(X,pool),has(X,good_service)],95).
       rule(9,is(X,two_star),[is(X,inexpensive),has(X,clean_rooms)],90).
       rule(10,is(X,three_star),[is(X,two_star),has(X,good_restaurant)],95).
       rule(10,is(X,three_star),[has(X,good_location),has(X,entertainment)],90).
       rule(11,is(X,four_star),[is(X,fancy),has(x,great_service)],90).
       rule(11,is(X,four_star),[is(X,expensive),has(X,view),has(X,good_service)],90).