% https://dspace.ut.ee/server/api/core/bitstreams/eec9d4b0-1a78-4806-b8ca-e6a2af3837d2/content lk 47


homme(esmaspaev, teisipaev).
homme(teisipaev, kolmapaev).
homme(kolmapaev, neljapaev).
homme(neljapaev, reede).
homme(reede, laupaev).
homme(laupaev, puhapaev).
homme(puhapaev, esmaspaev).

ylehomme(A, B):- homme(A, X), homme(X, B).

lovitott(neljapaev).
lovitott(reede).
lovitott(laupaev).
lovitott(puhapaev).

lovivaletab(P):- homme(P, _), \+lovitott(P).
% kuvage päevad, kus lõvi räägib homme tõtt

lovihommetott(E):- homme(E, P), lovitott(P).

% Kuva päevad, kus lõvi räägib tõtt ning
% ta räägib ka homme tõtt

lovitanahommetott(P):- lovitott(P), lovihommetott(P).

% Kuva päevad, kus lõvi ütleb, et räägib homme tõtt
% aga seda topeltvaletamise kaudu 

lovivaletabhommetott(P):- 
    lovivaletab(P), homme(P, X), lovivaletab(X).

loviytlebhommetott(P):- lovitanahommetott(P) ; 
     lovivaletabhommetott(P).

% yhenda koik paevad, kus lovil ytleb, et raagib homme tott
    
loviytlebhommevaletab(P):-
    homme(P, _), \+loviytlebhommetott(P).