Introduction à ProLog : les variables et Récursivité