max_vars(4).
max_body(4).
max_clauses(4).

% enable_pi.
% enable_recursion.
% allow_singletons.
% non_datalog.

head_pred(f,2).

body_pred(plus,3).
body_pred(minus,3).
body_pred(mult,3).
body_pred(div,3).
body_pred(neg,2).
body_pred(num,1).


type(f,(element,element)).
type(plus,(element,element,element)).
type(minus,(element,element,element)).
type(mult,(element,element,element)).
type(div,(element,element,element)).
type(neg,(element,elment)).
type(num,(element,)).


direction(f,(in,in,out)).
direction(plus,(in,in,out)).
direction(minus,(in,in,out)).
direction(mult,(in,in,out)).
direction(div,(in,in,out)).
direction(neg,(in,out)).
direction(num,(out,)).

% magic_value_all.
magic_value_type(element).