Approche logique de l'intelligence artificielle (Dunod, 1989)