CS代考程序代写 % Define the @ operator for use in structures representing

% Define the @ operator for use in structures representing
% piece placement, e.g. black-rook@a-1. Board is a list of
% such structures.
:- op(700, xfx, @).

game_state(Board, ToPlay, State) :-
fail.