whw(w).
whw(f).

/* Kommentar dazu (Kommentare in Prolog fangen entweder mit
Schraegstrich Stern an und hoeren mit Stern Schraegstrich auf oder
fangen mit Prozentzeichen an und gehen bis zum Ende der Zeile):

Einige Anfragen zur Bestimmung aller moeglichen Wahrheitswerte fuer
vier Aussagen A, B, C, D:
?-  whw(A), whw(B), whw(C), whw(D).
Durch wiederholte Eingabe eines Strichpunkts kann man sich alle
Antworten von Prolog ausgeben lassen.
?- findall([A,B,C,D], (whw(A), whw(B), whw(C), whw(D)), Loesungen).
liefert fuer Loesungen die Liste der Loesungen.
?- findall([A,B,C,D], (whw(A), whw(B), whw(C), whw(D)), Loesungen),
   length(Loesungen,Anzahl).
gibt auch noch die Anzahl der Loesungen aus.
?- whw(A), whw(B), whw(C), whw(D),
   write(A), write(B), write(C), write(D), nl, fail.
schreibt alle Loesungen auf den Bildschirm. */

dreiwahrheitswerte([A,B,C]):-
  whw(A), whw(B), whw(C).
