/*dichia9.mar */ /* dichiarazione tipo struttura */ /* ============================ */ nowarnings domains simbolo = symbol stringa = string intero = integer reale = real nome = simbolo indirizzo = recapito(stringa) cposta = reale nascita = nato(intero,intero,intero) predicates persona(simbolo,indirizzo,real,nascita) azione goal azione. clauses azione:- makewindow(1,7,1,"",1,1,20,78), persona(Nome,Indirizzo,CAP,NATO), write(Nome),nl, write(Indirizzo),nl, write(CAP),nl, write(NATO),nl, write("-------------------------"),nl,fail; write("premi enter"),readchar(_),clearwindow, nl, write("cerca dati individuo indicato "),nl, Nomex=rossi, persona(Nomex,I,C,N), write(Nomex),nl, write(I,"\t",C,"\t",N),nl,fail. persona(rossi,recapito(via_padova_14),12345,nato(10,11,87)). persona(verdi,recapito(via_verona_12),22111,nato(23,10,78)). persona(rossini,recapito(via_treviso_14),12345,nato(10,11,87)). persona(bassi,recapito(via_venezia_12),22111,nato(23,10,78)).
+---------------------------------------- ¦+--------------------------------------- +¦nato(10,11,87) +¦------------------------- ¦¦verdi ¦¦recapito("via_verona_12") ¦¦22111 ¦¦nato(23,10,78) ¦¦------------------------- ¦¦rossini ¦¦recapito("via_treviso_14") ¦¦12345 ¦¦nato(10,11,87) ¦¦------------------------- ¦¦bassi ¦¦recapito("via_venezia_12") ¦¦22111 +¦nato(23,10,78) +¦------------------------- ¦¦premi enter ¦+--------------------------------------- ¦azione +--------------------------------------------------------- ¦+-------------------------------------------------------- +¦ +¦cerca dati individuo indicato ¦¦rossi ¦¦recapito("via_padova_14") 12345 nato(10,11,87) ¦¦ ¦¦Press the SPACE bar ¦¦ ¦¦ ¦¦
ritorna