The study of logic has made two important contributions to computer science in general and artificial intelligence in particular. These contributions are logical programming languages and automated reasoning. This paper ...