prolog::cnf_dl/2

(undocumented)

Private-func:

%- cnf_dl/2