/*dichia3.mar */
/* dichiarazione tipo symbol string char */

nowarnings

domains
simbolo  = symbol
stringa  = string
carattere= char

predicates
padre1(symbol,symbol)
padre2(simbolo,simbolo)
capitale1(symbol,string)
capitale2(simbolo,stringa)
lettera1(char)
lettera2(carattere)

azione
goal azione.

clauses
azione:-
 makewindow(1,7,1,"",1,1,20,78),
padre1(X,Y),
write(X,"\t",Y),nl,fail;
padre2(A,B),
write(A,"\t",B),nl,fail;
capitale1(C,D),
write(C,"\t",D),nl,fail;
capitale2(E,F),
write(E,"\t",F),nl,fail;
lettera1(H),
write(H),nl,fail;
lettera2(K),
write(K),nl,fail.

padre1(carlo,paolo).
padre2(luigi,anna).
capitale1(roma,di_italia).
capitale2(parigi,"di Francia").
lettera1('a').
lettera2('b').

+-------------------------
¦+------------------------
+¦carlo   paolo
+¦luigi   anna
¦¦roma    di_italia
¦¦parigi  di Francia
¦¦a
¦¦b
¦¦
¦¦Press the SPACE bar
¦¦

ritorna