/*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