nd_search/4

Polymorphic Non-deterministic search predicate, implemented in Assembly Language, using an initial position(arg.4) for the search process

nd_search(STRING,CHAR,INTEGER,INTEGER) -(i,i,i,o)

Searches a string(arg.1) non-deterministically for a given char(arg.2), starting from an initial position(arg.3) producing all the positions(arg.4) inside the string where the char occurs.

nd_search(STRING,STRING,INTEGER,INTEGER) -(i,i,i,o)

Searches a string(arg.1) non-deterministically for a given substring(arg.2), starting from an initial position(arg.3) producing all the positions(arg.4) inside the string where the substring occurs.

See also: nd_search/3 (and nd_search for this predicate's family).