domains

  tag = symbol
  
predicates

  vortag(tag,tag)
  proll_luegen_tag(tag)
  longo_luegen_tag(tag)
  aktueller_wochentag(tag)
  proll_sagt_wahrheit(tag,tag)
  longo_sagt_wahrheit(tag,tag)

clauses

  vortag(montag,sonntag).
  vortag(dienstag,montag).
  vortag(mittwoch,dienstag).
  vortag(donnerstag,mittwoch).
  vortag(freitag,donnerstag).
  vortag(samstag,freitag).
  vortag(sonntag,samstag).

  proll_luegen_tag(montag).
  proll_luegen_tag(dienstag).
  proll_luegen_tag(mittwoch).

  longo_luegen_tag(donnerstag).
  longo_luegen_tag(freitag).
  longo_luegen_tag(samtag).

  aktueller_wochentag(Tag) :-
    vortag(Tag,Vortag),
    proll_sagt_wahrheit(Tag,Vortag),
    longo_sagt_wahrheit(Tag,Vortag).
    
  proll_sagt_wahrheit(Tag,Vortag) :-
    proll_luegen_tag(Tag),
    not(proll_luegen_tag(Vortag)).
    
  proll_sagt_wahrheit(Tag,Vortag) :-
    not(proll_luegen_tag(Tag)),
    proll_luegen_tag(Vortag).
    
  longo_sagt_wahrheit(Tag,Vortag) :-
    longo_luegen_tag(Tag),
    not(longo_luegen_tag(Vortag)).
    
  longo_sagt_wahrheit(Tag,Vortag) :-
    not(longo_luegen_tag(Tag)),
    longo_luegen_tag(Vortag).