conj2list( +Conj, -List)* is det Generate a list from a conjunction of literals.
transform conjunctions to list
It is often easier to apply operations on lists than on clauses
(undocumented)
1. prolog::conj2list_2::conj2list/2(int ARG1, int ARG2)():