Filter List according to Pred in three sets. For
each element Xi of List, its destination is determined by call(Pred, Xi, Place),
where Place must be unified to one of <, =
Pred must be deterministic.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in