nd_search/3
Polymorphic Non-deterministic search predicate, implemented in Assembly Language.
nd_search(STRING,CHAR,INTEGER) -(i,i,o)
Searches a string(arg.1) non-deterministically for a given char(arg.2), producing all the positions(arg.3) inside the string where the char occurs.
nd_search(STRING,STRING,INTEGER) -(i,i,o)
Searches a string(arg.1) non-deterministically for a given substring(arg.2), producing all the positions(arg.3) inside the string where the substring occurs.
See also: nd_search/4 (and nd_search for this predicate's family).