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

% enable_pi.
enable_recursion.


head_pred(f,2).

body_pred(copy1,2).
body_pred(skip1,2).
body_pred(write1,3).
% body_pred(next_empty,1).
body_pred(empty,1).
body_pred(char,1).

type(f,(list,list)).
type(copy1,(list,list)).
type(skip1,(list,list)).
type(write1,(list,list,element)).
% type(next_empty,(list,)).
type(empty,(list,)).
type(char,(element,)).


direction(f,(in,out)).
direction(copy1,(in,out)).
direction(skip1,(in,out)).
direction(write1,(in,out,out)).
% direction(next_empty,(out,)).
direction(empty,(in,)).
direction(char,(out,)).

% magic_value_all.
magic_value_type(element).