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

enable_pi.
enable_recursion.

head_pred(last,2).
body_pred(last,2).
body_pred(head,2).
body_pred(tail,2).
body_pred(not_empty,1).