true.

?- [movies].
% movies compiled 0.00 sec, 148 bytes
true.

?- acted_in('Leonardo DiCaprio','Babel').
false.

?- directed('District 9',X).
X = 'Neill Blomkamp'.

?- acted_in('Click',X), acted_in('The Aviator',X), X=X.
X = 'Kate Beckinsale'
.

?- released(X,2010), \+ acted_in(X,'Jennifer Aniston'), X=X.
X = 'Insidious'
.

?- directed(Y,X), released(Y,2009).
Y = 'District 9',
X = 'Neill Blomkamp' ;;
Y = 'Star Trek',
X = 'J.J. Abrams' ;;
Y = 'Inglourious Basterds',
X = 'Quentin Tarantino' ;;
false.

?- directed(X,Y), directed(Z,Y), Y=Y, \+ X=Z.
X = 'Star Trek',
Y = 'J.J. Abrams',
Z = 'Cloverfield'
.

?- directed(X,Y), directed(X,Z), X=X, \+ Y=Z.
X = 'The Switch',
Y = 'Josh Gordon',
Z = 'Will Speck'
.

?- released(X,2008), released(Y,2008), acted_in(X,Z), acted_in(Y,Z), \+ X=Y, Z=Z.
X = 'Jumper',
Y = 'Twilight',
Z = 'Kristen Stewart'
.


?- released(X,Y), released(Z,Y), released(A,Y), acted_in(X,B), acted_in(Z,B), acted_in(A,B), Y=Y, B=B, \+ X=Z, \+ Z=A, \+ X=A.
X = 'Insidious',
Y = 2010,
Z = 'The Bounty Hunter',
A = 'The Switch',
B = 'Patrick Wilson'
.

?- released(X,Y), released(Z,A), directed(X,B), directed(Z,B), acted_in(X,C), acted_in(Z,C), B=B, C=C, \+ X=Z, \+ Y=A.
X = 'Star Trek',
Y = 2009,
Z = 'Cloverfield',
A = 2008,
B = 'J.J. Abrams',
C = 'Zachary Quinto' ;;
false.

?- noprotocol.