max_vars(2).
max_body(2).
max_clauses(3).

% head
head_pred(p,2).
type(p,(element,element)).
direction(p,(in,out)).

% body
% body_pred(p,2).
% type(p,(element,element)).
% direction(p,(in,out)).

% body_pred(num,1).
% type(num,(element,)).
% direction(num,(in,)).

body_pred(const,1).
type(const,(element,)).
direction(const,(out,)).

body_pred(const1,1).
type(const1,(element,)).
direction(const1,(out,)).

body_pred(const2,1).
type(const2,(element,)).
direction(const2,(out,)).

body_pred(const3,1).
type(const3,(element,)).
direction(const3,(out,)).

body_pred(const4,1).
type(const4,(element,)).
direction(const4,(out,)).