Foundations of logic programming - Lloyd, J. W. (Symbolic computation. Artificial intelligence, 1984)