prolog::clauselength/2¶

clauselength( +Clause, -Length)* is det Count the number of literals in a clause (head counts as one).

Notice that this is 1+length(conj2list), as we ignore disjunctions.

Private-func:¶

1. prolog::clauselength_2::clauselength/2(int ARG1, int ARG2)():