Foundations of logic programming / - Lloyd, J. W. (Springer-Verlag,, 1984)