Output de riviere.pl
Welcome to SWI-Prolog (Version 4.0.11)
Copyright (c) 1990-2000 University of Amsterdam.
Copy policy: GPL-2 (see www.gnu.org)

For help, use ?- help(Topic). or ?- apropos(Word).

1 ?- consult(riviere).
% riviere compiled 0.00 sec, 4,204 bytesPetite compilation, mais qui marche

Yes
2 ?- but_riviere.Le but a atteindre: Le chou, la chevre, le loup et moi sommes sur une rive, et je voudrais les faire passer sur l'autre sans qu'ils s'entre-devorent
[etatcourant(0, 0, 0, 0), etatcourant(1, 0, 1, 0), etatcourant(0, 0, 1, 0), etatcourant(1, 1, 1, 0), etatcourant(0, 1, 0, 0), etatcourant(1, 1, 0, 1), etatcourant(0, 1, 0, 1), etatcourant(1, 1, 1, 1)]Voila une sequence solution du problème

Yes