Salve ragazzi,
sto,ultimamente,seguendo un corso universitario in cui si parla dei linguaggu imperativi (IMP) e del linguaggi funzionali (REC).
Praticamente devo scrivere un programma in prolog che mi permetta di avere un linguaggio IMP definendo,come spesso accade, i vari costrutti :

IF b THEN c1 ELSE c2
WHILE b DO c

dove c = c1 = c2 = comando | b = espressione booleana

Qualcuno ha qualche idea su come scrivere in prolog queste espressioni?
Grazie a tutti.
Ciao