A0360 Introduction à l'Intelligence Artificielle (suite): la résolution de problèmes avec Prolog

Suite au billet A0335, voici les références sur slideshare  d'un papier rédigé à l'issue travaux pratiques d'Intelligence Artificielle à l'ESILV en 3 ème année (sur 5).
Ce  papier explique comment, en 5 lignes de Prolog, on peut programmer un "résolveur de problèmes", et l'appliquer ensuite à deux célèbres problèmes:

-- le paysan, le loup, la chèvre et le chou
-- les tours de Hanoï

Nous aimerions arriver à l'objectif suivant: expliquer en même temps la résolution de problèmes (au sens du GPS de Simon,  Shaw et Newell ) et l'essence du langage Prolog.
Notre but est d'aboutir-après quelques itérations et l'aide de lecteurs téméraires- à un style d'expression simple et naturelle qui permette à "tout le monde" -disons à tout bachelier ...- d'y comprendre un peu quelque chose.
Toutes les remarques et critiques  des lecteurs sont donc les bienvenues, pour progresser dans cette direction.
Ma principale motivation pour rédiger ce papier est que personnellement  je n'arrive pas à comprendre la plupart des programmes Prolog que l'on trouve sur Internet, qui traitent de ces deux problèmes célèbres.

C'est donc une application de mon idée qu'il ne faut pas de livres "XXX pour les nuls" mais "XXX par les nuls".