Programmation en logique — Christopher John Hogger