/* =====================================================
     Enkel sannhets-sjekker for utsagnslogiske formler
     bygget opp av konstantene t (for true) og f (for
     false), samt de logiske operatorene neg (negasjon),
     and og or.

     INF3170 - 20. januar 2004 - Christian M. Hansen
   ===================================================== */


?-op(140, fy, neg).
?-op(160, xfy, [and, or]).

/*  isTrue(X) :- X evaluerer til sann  */

isTrue(t).
isTrue(neg f).
isTrue(neg X) :- \+ isTrue(X).
isTrue(X and Y) :- isTrue(X), isTrue(Y).
isTrue(X or Y) :- isTrue(X) ; isTrue(Y).