Lee Naish All Solutions Predicates in Prolog. 73-77 1985 SLP db/conf/slp/slp85.html#Naish85