Programación Lógica / Jean-Dominique Warnier ; Brendan M. Flanagan. - - -