 [semidet]partition(:Pred, 
+List, ?Less, ?Equal, ?Greater)
[semidet]partition(:Pred, 
+List, ?Less, ?Equal, ?Greater)call(Pred, Xi, Place), 
where Place must be unified to one of <, = 
or >.
Pred must be deterministic.
 [semidet]partition(:Pred, 
+List, ?Less, ?Equal, ?Greater)
[semidet]partition(:Pred, 
+List, ?Less, ?Equal, ?Greater)call(Pred, Xi, Place), 
where Place must be unified to one of <, = 
or >.
Pred must be deterministic.