/* logica1.mar */
/* condizione di verita AND o virgola */

nowarnings
domains
nome = symbol

predicates
azione
goal azione.

clauses
azione:-makewindow(1,7,1,"",1,1,20,78),
N1=rosso,
N2=rosso,
A=6,
B=6,
write(N1,"\t",N2),nl,
write(A,"\t",B),nl,
N1=N2,A=B,write("entrambe condizioni vere"),nl,
write("----------------------------------"),nl,
N3=rosso,
N4=rosso,
A1=6,
B1=5,
write(N3,"\t",N4),nl,
write(A1,"\t",B1),nl,
N3=N4,A1=B1,write("entrambe vere");
write("almeno una falsa"),nl,
write("----------------------------------"),nl,
N3=rosso,
N4=verde,
A1=6,
B1=5,
write(N3,"\t",N4),nl,
write(A1,"\t",B1),nl,
N3=N4,A1=B1,write("entrambe vere");
write("almeno una falsa"),nl,
write("----------------------------------"),nl,
nl.

+-------------------------------------------
¦+------------------------------------------
+¦rosso   rosso
+¦6       6
¦¦entrambe condizioni vere
¦¦----------------------------------
¦¦rosso   rosso
¦¦6       5
¦¦almeno una falsa
¦¦----------------------------------
¦¦rosso   verde
¦¦6       5
¦¦almeno una falsa
¦¦----------------------------------
¦¦
¦¦
¦¦Press the SPACE bar
+¦

ritorna