same_length(?List1,
?List2)Is true when List1 and List2 are lists with the
same number of elements. The predicate is deterministic if at least one
of the arguments is a proper list. It is non-deterministic if both
arguments are partial lists.
- See also
- length/2