list2conj( +List, -Conj)* is det Generate a conjunction from a list of literals.
(undocumented)
Notice that this relies on indexing within the list to avoid creating choice-points.
1. prolog::list2conj_2::list2conj/2(int ARG1, int ARG2)():