Ricardo Rocha Ricardo Lopes Fernando M. A. Silva Vítor Santos Costa IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. 416-417 2005 conf/iclp/2005 ICLP http://dx.doi.org/10.1007/11562931_36 db/conf/iclp/iclp2005.html#RochaLSC05