:- use_module(library(chr)).

handler aufgabe1.

option(debug_compile,on).

constraints p/1, c/1, p/2, q/2.

%*******************************************************
% Augabe 4-1 a)

p1 @ p(a) <=> true|true.

/*
p2 @ p(X) <=> X=a|true.

p3 @ p(X) <=> true|X=a.

p4 @ p(X) <=> true & X = a | true.

p5 @ p(X) <=> X = a & X = b | true.
*/
%*******************************************************

% Aufgabe 4-1 b) 

%option(already_in_store, off).

/*
c1 @ c(X), c(X) <=> q(X,X).

c2 @ c(Y), c(X)  <=> q(X,Y).
*/
%*******************************************************

% Aufgabe 4-1 c) 

/*
q1 @ p(X,Z),q(Z,Y) <=> q(Z,Y).

q2 @ q(Z,Y),p(X,Z) <=> q(Z,Y). 
 
q3 @ p(X,Z),q(Z,Y) ==> q(Z,Y).  

q4 @ p(X,Z) \ q(Z,Y) <=> q(Z,Y).
 
q5 @ q(Z,Y) \ p(X,Z) <=> q(Z,Y).

*/