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

(d) D = 1 + 1 + 0 + 1

3.15

:- op( 100, xfx, входит_в)
:- op( 300, fx, конкатенация_списков)
:- op( 200, xfx, дает)
:- op( 100, xfx, и)
:- op( 300, fx, удаление_элемента)
:- op( 100, xfx, из_списка) % Принадлежность к списку
Элемент входит_в [Элемент | Список].
Элемент входит_в [Первый | СписокОстальных] :-
 Элемент входит_в СписокОстальных.
% Конкатенация списков
конкатенация_списков [] и Список дает Список.
конкатенация_списков [X | L1] и L2 дает [X | L3] :-
 конкатенация_списков L1 и L2 дает L3.
% Удаление элемента из списка
удаление_элемента Элемент из_списка
 [Элемент | ОстальныеЭлементы]
 дает ОстальныеЭлементы.
удаление_элемента Элемент из_списка
 [Первый | ОстальныеЭлементы]
 дает [Первый | НовСписОстЭлементов] :-
 удаление_элемента Элемент из_списка
 ОстальныеЭлементы дает НовСписОстЭлементов.

3.16

max( X, Y, X) :-
 X >= Y.
max( X, Y, Y) :-
 X <Y.

3.17

максспис( [X], X).
  % Максимум в одноэлементном списке
максспис( [X, Y | Остальные], Мах) :-
  % В списке есть по крайней мере два элемента?
максспис( [Y | Остальные], МаксОстальные),
 mах( X, МаксОстальные, Мах).
  % Мах наибольшее из чисел X и МаксОстальные

3.18

сумспис( [], 0).
сумспис( [Первый | Остальные], Сумма) :-
 сумспис( Остальные, СуммаОстальных),
 Сумма is Первый + СуммаОстальных.

3.19

упорядоченный ([]).
  % Одноэлементный список является упорядоченным
упорядоченный( [X, Y | Остальные] :-
 X =< Y,
 упорядоченный( [Y | Остальные] ).

3.20

подсумма( [], 0, []).
подсумма( [N | Список], Сумма, [N | Подмн]) :-
  % N принадлежит подмножеству
Сумма1 is Сумма - N,
 подсумма( Список, Сумма1, Подмн).
подсумма( [N | Список], Сумма, Подмн) :-
  % N не принадлежит подмножеству
 подсумма( Список, Сумма, Подмн).

3.21

между( N1, N2, N1) :-
 N1 =< N2.
между( N1, N2, X) :-
 N1 < N2,
 HoвoeN1 is N1 + 1,
 между( HoвoeN1, N2, X).

3.22

:- op( 900, fx, если).
:- op( 800, xfx, то).
:- op( 700, xfx, иначе).
:- op( 600, xfx, :=).
если Вел1 > Вел2 то Перем := Вел3
 иначе ЧтоУгодно :-
 Вел1 > Вел2,
 Перем = Вел3.
если Вел1 > Вел2 то ЧтоУгодно
 иначе Перем := Вел4 :-
 Вел1 =< Вел2,
 Перем = Вел4.

Глава 4

4.1

(a) ?- семья(членсемьи( _, Фамилия, _, _ ), _, []).

(b) ?- ребенок( членсемьи( Имя, Фамилия, _,

    работает( _, _ ) )).

(c) семья(членсемьи( _, Фамилия, _, неработает),

    членсемьи( _, _, _, работает( _, _ ) ),_ ).

(d) ?- семья( Муж, Жена, Дети),

    датарождения( Муж, дата( _, _, Год1) ),
    датарождения( Жена, дата( _, _, Год2) ),
    ( Год1 - Год2 >= 15;
      Год2 - Год1 >= 15 ),
    принадлежит( Ребенок, Дети).

4.2

близнецы( Ребенок1, Ребенок2) :-
 семья( _, _, Дети),