Si vous avez essayé de programmer le loup, la chèvre et le chou dans un langage conventionnel, vous avez probablement trouvé cela difficile. Pourtant, nous allons voir que Prolog et sa perception de la programmation déclarative rend tout très simple. Toutefois, il faut bien comprendre que nous n’allons pas écrire un algorithme pour chercher la solution, mais nous traduirons simplement notre problème sous la forme d’un programme en Prolog !

Pour nous échauffer, écrivons deux petits prédicats que nous utiliserons plus loin. Prolog prédéfinit un prédicat member/2 : member(E, L) est vrai si la liste L contient l’élément E. Nous disposons également du prédicat delete/3 : delete(L1, E, L2) est vrai si L2 représente la liste L1 dans laquelle on a supprimé toutes les occurrences de l’élément E.

Rodrigue Sabin MOMPELAT