Programmation en logique, Christopher John… · Super Livre