Initiation à la Programmation en Logique