Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_ruleruntimeg:animal_kb [2008/04/22 11:47] miw utworzono |
pl:miw:miw08_ruleruntimeg:animal_kb [2019/06/27 15:50] (aktualna) |
| animal_kb.pl |
<code prolog> | <code prolog> |
% from Winston & Horn's LISP | % from Winston & Horn's LISP |
% Example: | % Example: |
% | % |
initial_data([ | % initial_data([ |
has(dennis,hair), | % has(dennis,hair), |
has(dennis,hoofs), | % has(dennis,hoofs), |
has(dennis,black_stripes), | % has(dennis,black_stripes), |
parent(dennis,diana) | % parent(dennis,diana) |
]). | % ]). |
| |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
% MY INITIAL DATA | % MY INITIAL DATA |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
info(X):- | |
jpl_datums_to_array(X,Q), | initial:- |
jpl_new('miw2.Info',[Q],D). | jpl_datums_to_array([ |
| 'has(animal,feathers)', |
% initial_data([has(dennis,hair),has(dennis,hoofs)]). | 'has(animal,hair)', |
| 'gives(animal,milk)', |
initial_data(C):- | 'has(animal,feathers)', |
jpl_datums_to_array(['has(dennis,hair)','has(dennis,hoofs)'],L), | '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)). |
| |
| :- initial. |
| |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
initial_data([goal(animal_id)]). | |
| |
rule 1: | rule 1: |
[assert(isa(X,sloth)), | [assert(isa(X,sloth)), |
retract(all)]. | retract(all)]. |
| </code> |
</code> | |