Support de cours: Programmation Logique, Prolog A Tutorial Introduction, James Lu & Jerud J. Mead.
Support de cours: Programmation Logique, Programmation fonctionnelle et logique, Martin Ludovic.
Support de cours: Programmation Logique, Introduction à la programmation logique , Jacques Savoy.