Output de gallons.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(gallons).
% gallons compiled 0.01 sec, 3,936 bytesPetite compilation, mais qui marche

Yes
2 ?- but_gallons.Le but a atteindre: il est fixé à 4 litres dans la plus grande des cruches
[etatactuel(grande(0), petite(0)), etatactuel(grande(8), petite(0)), etatactuel(grande(8), petite(5)), etatactuel(grande(0), petite(5)), etatactuel(grande(5), petite(0)), etatactuel(grande(5), petite(5)), etatactuel(grande(8), petite(2)), etatactuel(grande(0), petite(2)), etatactuel(grande(2), petite(0)), etatactuel(grande(2), petite(5)), etatactuel(grande(7), petite(0)), etatactuel(grande(7), petite(5)), etatactuel(grande(8), petite(4)), etatactuel(grande(0), petite(4)), etatactuel(grande(4), petite(0))]Voila une sequence (clairement pas opimisée, mais néanmoins efficace) solution du problème

Yes