max_vars(18).
max_body(18).
max_clauses(18).

% enable_recursion.
% enable_pi.

% head
head_pred(p,2).

body_pred(num,1).

type(p,(element,element)).
type(num,(element,)).


direction(p,(in,out)).
direction(num,(out,)).

magic_value_type(element).

% 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,)).