Stefano Ceri Georg Gottlob Letizia Tanca Logic Programming and Databases Springer 1990 3-540-51728-6