Rhialto

#!/usr/pkg/bin/swi-prolog
%
% Solve the puzzle of the wolf, the goat and th cabbage
%

:- use_module(library(lists)).

go :-
    Begin = situation([h,w,g,c], []),
    Goal  = situation([], [h,c,g,w]),

Rhialto

#!/usr/pkg/bin/swi-prolog
%
% Solve the puzzle of the wolf, the goat and the cabbage
%
% Version 2, using place(Human, Wolf, Goat, Cabbage).

:- use_module(library(lists)).			% for member/2

go :-
    go(Messages),