%film(Film-Id, Filmname, FSK ab)
film(42, 'Wombat', 16).
film(43, 'Schnuddel', 0).
film(44, 'Hase', 18).
film(45, 'Wut', 0).
film(46, 'Wurmi', 16).
film(47, 'Schnuddel', 18).

%kino(Name, Ort, Film-Id eines aktuell gezeigten Films)
kino(gloria, os, 42).
kino(gloria, os, 43).
kino(gloria, os, 47).
kino(gloria, ol, 42).
kino(gloria, ol, 44).
kino(apollo, os, 43).
kino(apollo, os, 45).


testAlleFilme :-
  alleFilme(gloria,'Wombat'),
  alleFilme(gloria,'Schnuddel'),
  alleFilme(apollo,'Wut'),
  not(alleFilme(gloria,'Wut')).
  
    
testLaeuftIn :-
  laeuftIn(42,os),
  laeuftIn(42,ol),
  laeuftIn(47,os),
  not(laeuftIn(43,ol)).
    

testHatKinderfilm :-
  hatKinderfilm(gloria,os), 
  hatKinderfilm(apollo,os),  
  not(hatKinderfilm(gloria,ol)).   	
  	
  
testGleicheFilme:-
  gleicheFilme(gloria, gloria),
  not(gleicheFilme(apollo, apollo)).  
  
  
testLaeuftNicht :-
  laeuftNicht(46),
  not(laeuftNicht(47)),
  not(laeuftNicht(42)).      
      
testLaeuftNichtIn :-
  laeuftNichtIn(47, ol),
  laeuftNichtIn(45, ol),
  laeuftNichtIn(46, os),
  not(laeuftNichtIn(44, ol)),
  not(laeuftNichtIn(45, os)).     
    
testHatNurKinderfilme :-
  not(hatNurKinderfilme(gloria,os)), 
  hatNurKinderfilme(apollo,os),  
  not(hatNurKinderfilme(gloria,ol)).  
  
testAll :-
  testAlleFilme,
  testGleicheFilme,
  testHatKinderfilm,
  testHatNurKinderfilme,
  testLaeuftIn,
  testLaeuftNicht,
  testLaeuftNichtIn.