prova6
/* prova11.pro */ /* attiva INCLUDE MENU.PRO */ /* attivazione menu e scelta opzioni */
nowarnings include "menu.pro"
domains
predicates finestra azione endd(integer) elabora(integer) scelta1 scelta2 scelta3 scelta4 scelta5 scelta6 scelta7 scelta8 scelta9 fine
goal finestra,azione,fine. clauses
finestra:- makewindow(1,7,1,"",1,1,20,70).
azione:-
menu(3,20,["..1.scelta1.............",
".2.scelta2...existfile.......",
".3.scelta3...file_str........",
".4.scelta4...deletefile......",
".5.scelta5...renamefile......",
".6.scelta6...file_str.........",
".7.scelta7...richiama.PRO....",
".8.scelta8...richiesta dati...",
".9.scelta9..fine......"],
SCELTA),
elabora(SCELTA),
endd(SCELTA),!.
elabora(0).
elabora(1):-scelta1.
elabora(2):-scelta2.
elabora(3):-scelta3.
elabora(4):-scelta4.
elabora(5):-scelta5.
elabora(6):-scelta6.
elabora(7):-scelta7.
elabora(8):-scelta8.
elabora(9):-scelta9.
endd(9).
endd(0).
scelta1:-write("scelta1"),sound(100,600).
scelta2:-write("scelta2 attivata existfile "),
sound(100,800),
existfile("fauna.dba"),
write("..file cercato trovato\n").
scelta3:-write("scelta 3..attivato str_file"),
sound(100,700),
file_str("fauna.dba",FILE),
display(FILE),
clearwindow,!.
scelta4:-write("scelta4..attivato delefile"),
sound(50,660),
deletefile("piante.dba").
scelta5:-write("scelta5...attivato renamefile"),
sound(30,600),
renamefile("esapo2.dba","esapo3.dba").
scelta6:-write("scelta6..attivato file_str"),
sound(100,500),
file_str("esapo3.dba",TXT),
display(TXT),
clearwindow.
scelta7:-write("scelta7...richiama file.PRO "),nl,
sound(20,600),
file_str("A:/file/prova1.pro",FX),
display(FX),
clearwindow,!.
scelta8:-write("chiamata 8..richiesta dati\n"),
sound(100,600),
write("scrivi un numero intero\n"),
readint(X),
write("scrivi altro numero intero\n"),
readint(Y),
write("prodotto due numeri="),
P=X*Y,
write(P).
scelta9:-write("fine chiamate"),sound(100,600).
fine:-
write("......fine prova").
fauna.dba
rule(1,"animali","invertebrati",[1])
rule(2,"animali","vertebrati",[2])
rule(3,"vertebrati","pesci",[3])
rule(4,"vertebrati","anfibi",[4])
rule(5,"vertebrati","rettili",[5])
rule(6,"vertebrati","uccelli",[6])
rule(7,"vertebrati","mamiferi",[7])
rule(8,"anfibi","anuri",[8])
rule(9,"anfibi","urodeli",[9])
rule(10,"anuri","raganella",[10])
rule(11,"anuri","rospo",[11])
rule(12,"urodeli","tritone",[12])
rule(13,"urodeli","salamandra",[13])
rule(14,"rettili","serpenti",[14])
rule(15,"rettili","cheloni",[15])
rule(16,"rettili ","sauri",[16])
rule(17,"rettili","loricati",[17])
rule(18,"serpenti","vipera",[18,19,20])
rule(19,"serpenti","colubro",[21,22])
rule(20,"cheloni","tartaruga",[23])
rule(21,"sauri","ramarro",[10])
rule(22,"sauri","lucertola",[24])
rule(23,"invertebrati","poriferi",[25])
rule(24,"invertebrati","artropodi",[26])
rule(25,"artropodi","crostacei",[27])
rule(26,"artropodi","insetti",[28])
rule(27,"artropodi","aracnidi",[29])
rule(28,"insetti","coleotteri",[30])
rule(29,"insetti","lepidotteri",[31])
rule(30,"aracnidi","scorpione",[32])
rule(31,"aracnidi","ragno",[33])
cond(1,"senza endoscheletro")
cond(2,"con endoscheletro")
cond(3,"con pinne e squame")
cond(4,"con quattro zampe e pelle nuda")
cond(5,"corpo coperto da scaglie o placche")
cond(6,"con ali e con penne")
cond(7,"pelle con peli")
cond(8,"senza coda")
cond(9,"con coda")
cond(10,"colore verde")
cond(11,"pelle grinzosa")
cond(12,"cresta dorsale e corpo nero con macchie rosse")
cond(13,"pelle nera con macchie gialle")
cond(14,"senza zampe")
cond(15,"con placche dorsali e piastrone")
cond(16,"piccoli e con coda lunga")
cond(17,"con grosse placche cornee")
cond(18,"con denti del veleno")
cond(19,"con pupilla verticale")
cond(20,"con placche testa piccole")
cond(21,"pupilla rotonda")
cond(22,"placche del cranio grandi")
cond(23,"8 placche dorsali cornee")
cond(24,"colore grigio")
cond(25,"forniti di vari forellini")
cond(26,"forniti di sei o pi— zampe")
cond(27,"con dieci zampe")
cond(28,"con sei zampe")
cond(29,"con otto zampe")
cond(30,"con elitre")
cond(31,"con ali coperte di squamette")
cond(32,"con coda aculeata")
cond(33,"con corpo globoso senza coda")
data_file("fauna.dba")
soggetto("animali")
piante.dba
rule(1,"vegetali","",[1])
rule(2,"vegetali","dicotiledoni",[2])
rule(3,"vegetali","monocotiledoni",[3])
rule(4,"dicotiledoni","primulacee",[4])
rule(5,"violacee","viola tricolor",[5])
rule(6,"violacee","viola mammola",[6])
rule(7,"dicotiledoni","violacee",[7,8,9])
rule(8,"dicotiledoni","primulacee",[])
rule(1,"vegetali","vegetali",[1])
rule(2,"vegetali","dicotiledoni",[2])
rule(3,"vegetali","monocotiledoni",[3])
rule(4,"dicotiledoni","primulacee",[4])
rule(5,"violacee","viola tricolor",[5])
rule(6,"violacee","viola mammola",[6])
rule(7,"dicotiledoni","violacee",[7,8,9])
rule(8,"dicotiledoni","primulacee",[])
rule(1,"vegetali","vegetali",[1])
rule(2,"vegetali","dicotiledoni",[2])
rule(3,"vegetali","monocotiledoni",[3])
rule(4,"dicotiledoni","primulacee",[4])
rule(5,"violacee","viola tricolor",[5])
rule(6,"violacee","viola mammola",[6])
rule(7,"dicotiledoni","violacee",[7,8,9])
rule(8,"dicotiledoni","primulacee",[])
cond(1,"contengono clorofilla")
cond(2,"hanno seme con due cotiledoni")
cond(3,"hanno seme con un solo cotiledone")
cond(4,"fiore giallo o rosso")
cond(5,"fiore variopinto")
cond(6,"fiore con gradevole profumo")
cond(7,"fiore viola o giallo o variopinto")
cond(8,"talora con profumo intenso e gradevole")
cond(9,"corolla monopetala")
cond(1,"contengono clorofilla")
cond(2,"hanno seme con due cotiledoni")
cond(3,"hanno seme con un solo cotiledone")
cond(4,"fiore giallo o rosso")
cond(5,"fiore variopinto")
cond(6,"fiore con gradevole profumo")
cond(7,"fiore viola o giallo o variopinto")
cond(8,"talora con profumo intenso e gradevole")
cond(9,"corolla monopetala")
cond(1,"contengono clorofilla")
cond(2,"hanno seme con due cotiledoni")
cond(3,"hanno seme con un solo cotiledone")
cond(4,"fiore giallo o rosso")
cond(5,"fiore variopinto")
cond(6,"fiore con gradevole profumo")
cond(7,"fiore viola o giallo o variopinto")
cond(8,"talora con profumo intenso e gradevole")
cond(9,"corolla monopetala")
data_file("piante.dba")
data_file("piante.dba")
data_file("piante.dba")
s(1)
soggetto("vegetali")
soggetto("vegetali")
soggetto("vegetali")
esapodi.dba
rule(1,"artropodi","insetti",[1])
rule(2,"artropodi","crostacei",[2])
rule(3,"artropodi","miriapodi",[3])
rule(4,"artropodi","aracnidi",[4])
rule(5,"insetti","coleotteri",[5])
rule(6,"insetti","lepidotteri",[6])
rule(7,"insetti","imenotteri",[7,8])
rule(8,"insetti","ditteri",[9])
rule(9,"insetti","ortotteri",[7,10])
rule(10,"coleotteri","carabidi",[11])
rule(11,"coleotteri","scarabeidi",[12])
rule(12,"coleotteri","idrofili",[13])
rule(13,"scarabeidi","scarabeo",[14])
rule(14,"scarabeo","sacro",[15])
rule(15,"scarabeo","vulgaris",[16])
rule(16,"carabidi","cicindela",[17])
rule(17,"carabidi","carabus",[18])
rule(18,"carabus","violaceus",[19])
rule(19,"carabus","auratus",[20])
cond(1,"hanno sei zampe")
cond(2,"hanno 10 zampe")
cond(3,"hanno piu' di 10 zampe")
cond(4,"hanno 8 zampe")
cond(5,"hanno elitre")
cond(6,"hanno ali con squamette")
cond(7,"hanno quattro ali")
cond(8,"hanno pungiglione")
cond(9,"hanno due ali")
cond(10,"hanno apparato masticatore")
cond(11,"sono carnivori")
cond(12,"sono fitofagi")
cond(13,"vivono in acqua")
cond(14,"corpo tozzo")
cond(15,"vive in egitto")
cond(16,"vive in italia")
cond(17,"colore verde o rossiccio")
cond(18,"lungo oltre 3 cm")
cond(19,"colore viola")
cond(20,"colore giallognolo")
data_file("esapodi.dba")
soggetto("artropodi")