Игры

    open core, console, console_native

class facts
    humanCell: (coord).

class predicates
    winMove: (positive, positive, coord*, coord*) nondeterm (i,i,i,o).
    step: (coord*, coord*, coord) nondeterm (i,o,o) (i,o,i).
    next: (coord, coord) nondeterm (i,o) (i,i).
    move: (positive, coord*).
    show: (coord*).
    loseMove: (coord*) determ.
clauses
    loseMove(Polyline):-
        step(Polyline, _, Cell),
        list::isMember(Cell, Polyline),
        !.

    winMove(_Player1, _Player2, Polyline, Polyline1):-
        step(Polyline, Polyline1, Cell),
        list::isMember(Cell, Polyline).
    winMove(Player1, Player2, Polyline, Polyline1):-
        step(Polyline, Polyline1, _),
        not(winMove(Player2, Player1, Polyline1, _)).

    move(2, Polyline):-
        step(Polyline, Polyline1, Cell),
        list::isMember(Cell, Polyline),
        !,
        show(Polyline1),
        setLocation(coord(0, 14)),
        write("Компьютер выиграл!\n\n", Polyline1).
    move(2, Polyline):-
        winMove(2, 1, Polyline, Polyline1),
        !,
        move(1, Polyline1).
    move(2, Polyline):-
        step(Polyline, Polyline1, _),
        not(loseMove(Polyline1)),
        !,
        move(1, Polyline1).
    move(2, Polyline):-
        step(Polyline, Polyline1, _),
        !,
        move(1, Polyline1).
    move(1, Polyline):-
        show(Polyline),
        setLocation(coord(0, 14)),
        write(Polyline),
        std::repeat(),
            write("\n\nВаш ход.\nВведите новую клетку в виде"
                " coord(2,3): "),
            hasDomain(coord, Cell),
            Cell = read(), clearInput(),
        step(Polyline, Polyline1, Cell),
        assert(humanCell(Cell)),
        !,
        if list::isMember(Cell, Polyline) then
            write("\nПоздравляю! Вы выиграли!")
        else
            move(2, Polyline1)
        end if.
    move(_, _).

    step([A, B | Polyline], [X, A, B | Polyline], X):-
        next(A, X),
        not(X = B).
    step(Polyline, list::append(Polyline, [X]), X):-
        [A, B | _] = list::reverse(Polyline),
        next(A, X),
        not(X = B).

    next(coord(X, Y), coord(X - 1, Y)):- X > 1.
    next(coord(X, Y), coord(X + 1, Y)):- X < 6.
    next(coord(X, Y), coord(X, Y - 1)):- Y > 1.
    next(coord(X, Y), coord(X, Y + 1)):- Y < 5.

    show(Polyline):-
        clearOutput(),
        foreach I = std::fromTo(1, 6) do
            setLocation(coord(3 * I, 0)), write(I)
        end foreach,
        foreach J = std::fromTo(1, 5) do
            setLocation(coord(0, 2 * J)), write(J)
        end foreach,
        Attr0 = getTextAttribute(),
        foreach coord(X, Y) = list::getMember_nd(Polyline) do
            Attr = if humanCell(coord(X, Y)), ! then 13 else 11 end if,
            setTextAttribute(Attr),
            setLocation(coord(3 * X, 2 * Y)), write("*")
        end foreach,
        setTextAttribute(Attr0).

    run():-
        write("Кто ходит первым? (1 - человек, 2 - компьютер): "),
        Player = read(), clearInput(),
        if Player = 1 then
            write("Введите начало отрезка в виде coord(3,3): "),
            hasDomain(coord, Cell1),
            Cell1 = read(), clearInput(),
            write("Введите конец отрезка: "),
            hasDomain(coord, Cell2),
            Cell2 = read(), clearInput(),
            next(Cell1, Cell2),
            assert(humanCell(Cell1)),
            assert(humanCell(Cell2)),
            move(2, [Cell1, Cell2])
        else
            move(1, [coord(3, 3), coord(4, 3)])
         end if,
         !,
        _ = readLine();
        write("Ошибка ввода"),
        _ = readLine().