普罗洛文路交叉

Question

Closed. This question needs details or clarity. It is not currently accepting answers.

---

想要改进此问题吗？添加详细信息并通过

闭合 2年前。

Answer 1

% state(person on side, animals west, animals east)
initial_state(state(west, cats_dogs(3, 3), cats_dogs(0, 0))).
desired_state(state(east, cats_dogs(0, 0), cats_dogs(3, 3))).

solve(Path) :-
    initial_state(Initial),
    desired_state(Desired),
    % Use iterative deepening for convenience, so no need to guard against circular states
    length(Path, _),
    path(Initial, Desired, Path).

path(Desired, Desired, []).
path(Initial, Desired, [State1|Path]) :-
    move(Initial, State1),
    path(State1, Desired, Path).

road_side(west).
road_side(east).

% Map east & west onto this and other sides
cats_dogs_side(west, W, E, W, E).
cats_dogs_side(east, W, E, E, W).

move(Initial, State1) :-
    Initial = state(HumanSide, West, East),
    % Change from west & east to this and other, in terms of sides
    cats_dogs_side(HumanSide, West, East, This, Other),
    cats_dogs_move(This, Other, This1, Other1),
    % Human moves to other side
    dif(HumanSide, HumanSide1),
    road_side(HumanSide1),
    % Change back to west & east sides, for state-representation consistency
    cats_dogs_side(HumanSide, This1, Other1, West1, East1),
    State1 = state(HumanSide1, West1, East1).

cats_dogs_move(This, Other, This1, Other1) :-
    between(1, 2, AnimalsToMove),
    between(0, AnimalsToMove, CatsToMove),
    DogsToMove is AnimalsToMove - CatsToMove,
    move_safe(This, Other, CatsToMove, DogsToMove, This1, Other1).

move_safe(This, Other, CatsToMove, DogsToMove, This1, Other1) :-
    shift_animals(-1, CatsToMove, DogsToMove, This, This1),
    shift_animals(1, CatsToMove, DogsToMove, Other, Other1),
    safe_cats_dogs(This1),
    safe_cats_dogs(Other1).

shift_animals(Sign, CatsToMove, DogsToMove, cats_dogs(Cats, Dogs), cats_dogs(Cats1, Dogs1)) :-
    Cats1 is Cats + (Sign * CatsToMove),
    Cats1 >= 0,
    Dogs1 is Dogs + (Sign * DogsToMove),
    Dogs1 >= 0.

% Check that side is safe
safe_cats_dogs(cats_dogs(Cats, Dogs)) :-
    (   Dogs > Cats,
        Cats > 0
    ->  false
    ;   true ).

导致SWI-Promog（前2个）：

?- time(solve(Path)).
% 2,287,324 inferences, 0.245 CPU in 0.242 seconds (101% CPU, 9329359 Lips)
Path = [state(east,cats_dogs(3,1),cats_dogs(0,2)),state(west,cats_dogs(3,2),cats_dogs(0,1)),state(east,cats_dogs(3,0),cats_dogs(0,3)),state(west,cats_dogs(3,1),cats_dogs(0,2)),state(east,cats_dogs(1,1),cats_dogs(2,2)),state(west,cats_dogs(2,2),cats_dogs(1,1)),state(east,cats_dogs(0,2),cats_dogs(3,1)),state(west,cats_dogs(0,3),cats_dogs(3,0)),state(east,cats_dogs(0,1),cats_dogs(3,2)),state(west,cats_dogs(0,2),cats_dogs(3,1)),state(east,cats_dogs(0,0),cats_dogs(3,3))] ;
% 328 inferences, 0.000 CPU in 0.000 seconds (100% CPU, 1197565 Lips)
Path = [state(east,cats_dogs(3,1),cats_dogs(0,2)),state(west,cats_dogs(3,2),cats_dogs(0,1)),state(east,cats_dogs(3,0),cats_dogs(0,3)),state(west,cats_dogs(3,1),cats_dogs(0,2)),state(east,cats_dogs(1,1),cats_dogs(2,2)),state(west,cats_dogs(2,2),cats_dogs(1,1)),state(east,cats_dogs(0,2),cats_dogs(3,1)),state(west,cats_dogs(0,3),cats_dogs(3,0)),state(east,cats_dogs(0,1),cats_dogs(3,2)),state(west,cats_dogs(1,1),cats_dogs(2,2)),state(east,cats_dogs(0,0),cats_dogs(3,3))] ;