prolog::cnf/2

(undocumented)

Private-func:

%- cnf/2