a computational logic (1988)