Handbook of logic in artificial intelligence and logic programming (vol. 1)