Программирование на языке Пролог для искусственного интеллекта

 % Ладья и черный король на одной линии
 ход( ход_ладьей, Поз, Л-Лх : Лу, Поз1).
ход( разреш, б..П, М, П1) :-
 ( Огр = сначала_диаг; Огр = ход ладьей),
 ход( Огр, б..П, М, П1).
ход( разреш, ч..Б..Л..Ч..Г, Ч-Ч1, б..Б..Л..Ч1..Г1) :-
 Г1 is Г + 1,
 сосед( Ч, Ч1),
 not шах( б..Б..Л..Ч1..Г1).

разрход( Поз, Ход, Поз1) :-
ход( разреш, Поз, Ход, Поз1).
 шах( _..Б..Лх : Лу..Чх : Чу.._ ) :-
 сосед( Б, Чх : Чу); % Короли рядом
 ( Лх = Чх; Лу = Чу),
 Лх : Лу \== Чх : Чу, % Нет взятия ладьи
 not мешает( Лх : Лу, Б, Чх : Чу).

мешает( S, S1, S1) :- !.
мешает( X1 : Y, X2 : Y, Х3 : Y) :-
 упоряд( X1, Х2, Х3), !.
мешает( X : Y1, X : Y2, X : Y3) :-
 упоряд( Y1, Y2, Y3).

упоряд( N1, N2, N3) :-
 N1 < N2, N2 < N3;
 N3 < N2, N2 < N1.

коорд( 1). коорд( 2). коорд( 3). коорд( 4).
коорд( 5). коорд( 6). коорд( 7). коорд( 8).

% Предикаты целей
любая_поз( Поз).

ход_противника( б.._ ). % Противник ходит белыми

мат( Поз) :-
 чей_ход( Поз, ч),
 шах( Поз),
 not разрход( Поз, _, _ ).

пат( Поз) :-
 чей_ход( Поз, ч),
 not шах( Поз),
 not разрход( Поз, _, _ ).

уменьш_простр( Поз, КорнПоз) :-
 простр( Поз, Пр),
 простр( КорнПоз, КорнПр),
 Пр < КорнПр.

ладья_под_боем( ЧейХод..Б..Л..Ч.._ ) :-
 расст( Б, Л, P1),
 расст( Ч, Л, Р2),
 ( ЧейХод = б, !, P1 > Р2 + 1;
 ЧейХод = ч, !, P1 > Р2 ).

ближе_к_клетке( Поз, КорнПоз) :-
 расст_до_клетки( Поз, P1),
 расст_до_клетки( КорнПоз, Р2),
 P1 < Р2.

расст_до_клетки( Поз, Мрасст) :-
 % Манхеттеновское расстояние
 бк( Поз, БК), % между БК и критической клеткой
 кк( Поз, КК), % Критическая клетка
 манх_расст( БК, КК, Мрасст).

раздел( _..Бх : Бу..Лх : Лу.. Чх : Чу.._ ) :-
 упоряд( Бх, Лх, Чх), !;
упоряд( Бу, Лу, Чу).

l_конфиг( _..Б..Л..Ч.._ ) :- % L - конфигурация
 манх_расст( Б, Ч, 2),
 манх_расст( Л, Ч, 3).

не дальше_от_ладьи( _..Б..Л.._, _..Б1..Л1.._ ) :-
 расст( Б, Л, P),
 расст( Б1, Л1, P1),
 P =< P1.

простр_больше_2( Поз) :-
 простр( Поз, Пр),
 Пр > 2.

наш_король_на_краю( _..X : Y.._ ) :-
 % Белый король на краю
 ( X = 1, !; X = 8, !; Y = 1, !; Y = 8).

король_противника_на_краю( _..Б..Л..X : Y.._ ) :-
 % Черный король на краю
 ( X = 1, !; X = 8, !; Y = 1, !; Y = 8).

короли_рядом( Поз) :- % Расстояние между королями < 4
 бк( Поз, БК), чк( Поз, ЧК),
 расст( БК, ЧК, P),
 P < 4.

потеря_ладьи( _..Б..Л..Л.._ )- % Ладья взята
потеря_ладьи( ч..Б..Л..Ч.._ ) :-
 сосед( Ч, Л), % Черный король напал на ладью
 not сосед( Б, Л). % Белый король не защищает ладью

расст( X : Y, X1 : Y1, P) :- % Расстояние до короля
 абс_разн( X, X1, Рх),
 абс_разн( Y, Y1, Ру),
 макс( Рх, Ру, P).

абс_разн( А, В, С) :-
 А > В, !, С is A - В;
 С is В - А.

макс( А, В, М) :-
 А >= В, !, М = А;
 М = В.

манх_расст( X : Y, X1 : Y1, P) :- % Манхеттеновское расстояние
 абс_разн( X, X1, Рх),
 абс_разн( Y, Y1, Ру),
 P is Рх + Ру.

простр( Поз, Пр) :-
 % Область, в которой "заперт" черный король
 бл( Поз, Лх : Лу),
 чк( Поз, Чх : Чу),
 ( Чх < Лх, СторонаХ is Лх - 1;
 Чх > Лх, СторонаХ is 8 - Лх ),
 ( Чу < Лу, СторонаY is Лу - 1;
 Чу > Лу, СторонаY is 8 - Лу ),
 Пр is СторонаХ * СторонаY, !;
 Пр = 64. % Ладья и черный король на одной линии

кк( _..Б..Лх : Лу.. Чх : Чу.._, Кх : Ку) :-
 % Критическая клетка