Takashi Yokomori Set Abstraction - An Extension of All Solutions Predicate in Logic Programming Language. 227-248 1987 5 New Generation Comput. 3 db/journals/ngc/ngc5.html#Yokomori87