Principles of logic and logic programming - Metakides, G. (Studies in computer science and artificial intelligence ;, 1996)