| 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 bytes | Petite 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 |