Did you know ... Search Documentation:
Predicate same_length/2
Availability::- use_module(library(lists)).(can be autoloaded)
Sourcesame_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
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in
Tags: