Logic for artificial inteligence - Turner,Raymond