用Prolog实现简单的汽车-加油站游戏

% 定义汽车和加油站的位置
location(car, 0).
location(gas_station, 10).

% 定义汽车的初始油量
fuel(car, 5).

% 定义汽车移动的规则
move(X, Y) :-
    location(X, L1),
    location(Y, L2),
    L2 is L1 + 1.

% 定义汽车加油的规则
refuel(car) :-
    fuel(car, F),
    F < 10,
    retract(fuel(car, F)),
    NF is F + 1,
    assert(fuel(car, NF)).

% 定义游戏结束的条件
game_over :-
    location(car, L),
    location(gas_station, L),
    fuel(car, F),
    F >= 10.

% 定义游戏主循环
play_game :-
    game_over,
    write('游戏结束！'), nl.

play_game :-
    write('请输入动作（移动/加油）：'),
    read(Action),
    do_action(Action),
    play_game.

% 执行动作
do_action(move) :-
    move(car, NewLocation),
    retract(location(car, _)),
    assert(location(car, NewLocation)),
    write('汽车移动到了位置 '), write(NewLocation), nl.

do_action(refuel) :-
    refuel(car),
    write('汽车加油了一次。'), nl.

do_action(_) :-
    write('无效的动作。'), nl.