Logic Programming by M. Gabbrielli