George Xirogiannis Hamish Taylor PAN: A Portable, Parallel Prolog: Its Design, Realisation and Performance. 373- 2002 20 New Generation Comput. 4 db/journals/ngc/ngc20.html#XirogiannisT02