DAP Prolog: A Set-Oriented Approach to Prolog. - Péter Kacsuk; A. Bale (Comput. J., 1987)