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

% enable_pi.
% enable_recursion.

% head
head_pred(leapyear,1).
type(leapyear,(int,)).
direction(leapyear,(in,)).

body_pred(known_divider,1).
type(known_divider,(int,)).
direction(known_divider,(out,)).

body_pred(divisible,2).
type(divisible,(int,int)).
direction(divisible,(in,out)).

body_pred(not_divisible,2).
type(not_divisible,(int,int)).
direction(not_divisible,(in,out)).

% max_magic(6).
magic_value_type(int).