Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_ruleruntimeg:animal_kb [2008/04/22 16:14] gjn |
pl:miw:miw08_ruleruntimeg:animal_kb [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | animal_kb.pl | ||
| <code prolog> | <code prolog> | ||
| % from Winston & Horn's LISP | % from Winston & Horn's LISP | ||
| Linia 10: | Linia 11: | ||
| % Example: | % Example: | ||
| % | % | ||
| - | |||
| % initial_data([ | % initial_data([ | ||
| % has(dennis,hair), | % has(dennis,hair), | ||
| Linia 21: | Linia 21: | ||
| % MY INITIAL DATA | % MY INITIAL DATA | ||
| %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
| - | info(X):- | ||
| - | jpl_datums_to_array(X,Q), | ||
| - | jpl_new('miw2.Info',[Q],D). | ||
| - | |||
| - | % initial_data([has(dennis,hair),has(dennis,hoofs)]). | ||
| - | :- initial_data. | + | initial:- |
| - | + | jpl_datums_to_array([ | |
| - | initial_data:- | + | 'has(animal,feathers)', |
| - | jpl_datums_to_array(['has(dennis,hair)','has(dennis,hoofs)'],L), | + | 'has(animal,hair)', |
| + | 'gives(animal,milk)', | ||
| + | 'has(animal,feathers)', | ||
| + | 'flies(animal)', | ||
| + | 'lays_eggs(animal)', | ||
| + | 'eats_meat(animal)', | ||
| + | 'has(animal,pointed_teeth)', | ||
| + | 'has(animal,claws)', | ||
| + | 'has(animal,forward_eyes)', | ||
| + | 'has(animal,hoofs)', | ||
| + | 'chews_cud(animal)', | ||
| + | 'has(animal,tawny_color)', | ||
| + | 'has(animal,dark_spots)', | ||
| + | 'has(animal,tawny_color)', | ||
| + | 'has(animal,black_stripes)', | ||
| + | 'has(animal,long_neck)', | ||
| + | 'has(animal,long_legs)', | ||
| + | 'has(animal,dark_spots)', | ||
| + | 'does_not_fly(animal)', | ||
| + | 'has_attr(animal,black_and_white)', | ||
| + | 'swims(animal)', | ||
| + | 'flies_well(animyal)', | ||
| + | 'parent(animal,parent)', | ||
| + | 'even_toed(animal)', | ||
| + | 'has_attr(animal,slow)', | ||
| + | 'has(animal,ears)'],L), | ||
| jpl_new('miw2.MyCBForm',[L,'Choose facts:'],D), | jpl_new('miw2.MyCBForm',[L,'Choose facts:'],D), | ||
| - | jpl_call(D,getChecked,[],S), | + | jpl_call(D,getChecked,[],_), |
| - | jpl_array_to_list(S,C), | + | jpl_get('miw2.MyCBForm',termos,{C}), |
| - | assert(initial_data(C)). | + | assert(initial_data(C)). |
| + | |||
| + | :- initial. | ||
| %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
| - | %initial_data([goal(animal_id)]). | + | |
| rule 1: | rule 1: | ||
| Linia 185: | Linia 207: | ||
| [assert(isa(X,sloth)), | [assert(isa(X,sloth)), | ||
| retract(all)]. | retract(all)]. | ||
| - | + | </code> | |
| - | </code> | + | |
