Sistema experto

identificar :-
hipotesis(fruta),
write('pienso que la fruta es'),
write(fruta),
nl,
undo.


hipotesis(sandia):-sandia,!.
hipotesis(papaya):-papaya,!.
hipotesis(melon):-melon,!.
hipotesis(cebolla):-cebolla,!.
hipotesis(chicharo):-chicharo,!.
hipotesis(chayote):-chayote,!.
hipotesis(desconocido).

sandia:-fruta,
verify(es_color_verde),verify(tiene_semillas_negras).

papaya:-fruta,
verify(es_color_anarnajado),
verify(tiene_semillas_redondas).

melon:-fruta,
verify(es_dulce),
verify(tiene_semillas_amarillas).

cebolla:-verdura,
verify(es_olorosa),
veriry(tiene_vitaminas).

chicharo:-verdura,
verify(son_chiquitos),
verify(son_redondos).

chayote:-verdura,
veriry(es_verde),
veriry(tiene_espinas).

desconocido:-fruta,verify(es_grande),
verify(tiene_pulpa).


fruta:-verify(es_saludable),!.
fruta:-verify(da_energia),!.
verdura:-verify(tiene_nutrientes),!.
verdura:-verify(es_fuente_de_vitaminas),!.


bulbos:-verdura,verify(disco_basal),!.
bulbos:-verdura,verify(almacena_nutirentes),
verify(reproduccion_por_semillas).

ask(question):-
write('la fruta tiene la siguiente caracteristica:'),write(question),
write('?'),
read(response),
nl,
( (response==yes; response==y)->
assert(yes(question));
assert(no(question)),fail).

verify(s):-
( yes(s)->
true;
( no(s)->
fail;
ask(s))).

undo:-
retract(yes(_)),fail.
undo:-
retract(no(_)),fail.
undo.





identificar :-
hipotesis(fruta),
write('pienso que la fruta es'),
write(fruta),
nl,
undo.hipotesis(sandia):-sandia,!.
hipotesis(papaya):-papaya,!.
hipotesis(melon):-melon,!.
hipotesis(cebolla):-cebolla,!.
hipotesis(chicharo):-chicharo,!.
hipotesis(chayote):-chayote,!.
hipotesis(desconocido).

sandia:-fruta,
verify(es_color_verde),
verify(tiene_semillas_negras).

papaya:-fruta,
verify(es_color_anarnajado),
verify(tiene_semillas_redondas).

melon:-fruta,verify(es_dulce),
verify(tiene_semillas_amarillas).

cebolla:-verdura,
verify(es_olorosa),
veriry(tiene_vitaminas).

chicharo:-verdura,
verify(son_chiquitos),
verify(son_redondos).

chayote:-verdura,
veriry(es_verde),
veriry(tiene_espinas).

desconocido:-fruta,
verify(es_grande),
verify(tiene_pulpa).


fruta:-verify(es_saludable),!.
fruta:-verify(da_energia),!.verdura:-verify(tiene_nutrientes),!.
verdura:-verify(es_fuente_de_vitaminas),!.


bulbos:-verdura,verify(disco_basal),!.
bulbos:-verdura,verify(almacena_nutirentes),
verify(reproduccion_por_semillas).

ask(question):-
write('la fruta tiene la siguiente caracteristica:'),
write(question),
write('?'),
read(response),
nl,
( (response==yes; response==y)->
assert(yes(question));assert(no(question)),fail).

verify(s):-
( yes(s)->
true;
( no(s)->
fail;
ask(s))).

undo:-
retract(yes(_)),fail.
undo:-
retract(no(_)),fail.
undo.

identificar :-
hipotesis(fruta),
write('pienso que la fruta es'),
write(fruta),
nl,
undo.


hipotesis(sandia):-sandia,!.
hipotesis(papaya):-papaya,!.
hipotesis(melon):-melon,!.hipotesis(cebolla):-cebolla,!.
hipotesis(chicharo):-chicharo,!.
hipotesis(chayote):-chayote,!.
hipotesis(desconocido).

sandia:-fruta,
verify(es_color_verde),
verify(tiene_semillas_negras).

papaya:-fruta,
verify(es_color_anarnajado),
verify(tiene_semillas_redondas).

melon:-fruta,
verify(es_dulce),
verify(tiene_semillas_amarillas).

cebolla:-verdura,
verify(es_olorosa),
veriry(tiene_vitaminas).chicharo:-verdura,
verify(son_chiquitos),
verify(son_redondos).

chayote:-verdura,
veriry(es_verde),
veriry(tiene_espinas).

desconocido:-fruta,
verify(es_grande),
verify(tiene_pulpa).


fruta:-verify(es_saludable),!.
fruta:-verify(da_energia),!.
verdura:-verify(tiene_nutrientes),!.
verdura:-verify(es_fuente_de_vitaminas),!.


bulbos:-verdura,verify(disco_basal),!....