Logics for artificial intelligence: Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, Chichester, 1984, + 121 pages, £16.50