prolog::selectchk/3

selectchk(? Element, ? List, ? Residue)*

Semi-deterministic selection from a list. Steadfast: defines as


 selectchk(Elem, List, Residue) :-
 select(Elem, List, Rest0), !,
 Rest = Rest0.

Private-func:

1. prolog::selectchk_3::selectchk/3(int ARG1, int ARG2, int ARG3)():