From standard logic to logic programming introducing a logic based approach to artificial intelligence /
Thayse, André,1940-
Chichester Wiley
c1988
Includes index
Artificial intelligence.