Листинг Б.1. Определения часто используемых предикатов

% Файл frequent.pl: библиотека чаете используемых предикатов % Отрицание как недостижение цели

% Обычно эта операций реализуется в виде встроенного предиката, а для 4 ее обозначения часто применяется префиксный оператор ' \ + ' , например \ в форме \+likes(тагу,snakes)

% Приведенное ниже определение предназначено исключительно для обеспечения * совместимости различных реализаций Prolog :- Op( 900, fy, not). not Goal :-Goal, !, fail

true.

Ъ once[ Goal}: предикат, который формирует только одно решение для цели Goal

% (в качестве него берется первое же полученное решение)

% Этот предикат может быть уже предоставлен в конкретной реализации

% как встроенный

once( Goal) :-

Goal, ! . i member( X, List) : предикат, который определяет принадлежность элемента X 1 к списку List

member ( К, [ X I _] ) • ,л X - Белова списка.

member(X, [ _ I Rest] ) :-

member( X, Rest). % X находится в теле списка

% cone ( Ыл L2 , L3) : список L3 — конкатенация списков L1 и L2

сопс( [] ,L,L) .

cone! [X I LI}, L2, [X I L3]) :-concl LI, L2, L3) .

% del ( X, LD, L) : список L соответствует списку LO с удаленным элементом X % Примечание. Происходит удаление только одного экземпляра элемента X % Вызов предиката на выполнение завершается неудачей, если элемент X Ъ отсутствует в списке L0

del( X, [X I Rest] , Rest) . % Удалить элемент X, если он составляет

% голову списка

del! х, [Y [ RestO] , [Y \ Rest]) :-

dell X, RestO, Rest) . % Удалить элемент Х из хвоста списка

% subset{ Set, Subset) : предикат, который позволяет проверить, действительно ли

% список Set содержит Есе элементы списка Subset (проверить принадлежность

i подмножества к множеству)

% Примечание. Элементы списка Subset находятся в списке Set в том же порядке,

% что и в списке Subset

subset! [],[)>•

subset( [First I Rest], [First | Sub]) :- % Оставить элемент First

% з подмножестве subset( Rest, Sub) ,

subset( [First | Rest], Sub) :- i Удалить элемент First subset! Best, Sub).

i set_difference[ Setl, Set2 , Set3); список Set3 определяется как разность

I множеств, представленных в виде списков Setl и Set2

% Обычно этот предикат используется Б такой форме: списки Setl и Set2 задаются

% как входные параметры, a Set3 - как выходной

set_dif ference ( []._,[]).

set_difference! [X | SI], S2, S3) :-

member! X, S2) , !, % Элемент Х принадлежит к множеству 32

set_difference! SI, S2, S3).

set_difference( [X | SI], S2, [X | S3]) :- % Элемент Х не принадлежит

Ъ к множеству S2 set_differenceI SI, S2, S3).

t length! List, Length) : предикат, позволяющий определить длину Length

% списка List

% Примечание. Предикат length/2 может быть уже включен в состав встроенных

% предикатов конкретной версии Prolog

i В приведенном ниже определении используется хвостовая рекурсия

I Этот предикат может использоваться для эффективной выработки списков

i заданной длины

length; L, Ы) :-length( L, О, К) .

length! [] , N, N) .

length! [_ | L] , N0 , И) :-N1 is HG + 1, length [ L, N1, N) .

% max[ X, Y, Как) : элемент Мах - наибольший среди X и Y

шах(Х, Y, Мах) :-X>=Y, !, Мая = X

Приложение Б. Некоторые часто используемые предикаты



Max = Y.

% min( X, Y, Min) : элемент Min - наименышй среди Х и Y

rcinix, Y, Min):-X =< 4, !, Min - X

Min = Y.

% copy_term( Tl, T2) ; терм T2 равен Tl, эа исключением того, что переменным

% присвоены другие имена

% Этот предикат может Сыть уже предоставлен в конкретной реализации как

% встроенный

% В соответствии с приведенным ниже определением процедуры вызов

* предиката copy_term происходит таким оПраэом, что Т2 согласуется с Т1

copy_term( Term, Copy) :-

asserta( term_to_copy < Term!) , retract( tetm_to_copy( Copy!), ! .

Листинг Б.1. Определения часто используемых предикатов - student2.ru Листинг Б.1. Определения часто используемых предикатов - student2.ru 594

Приложение Б. Некоторые часто используемые предикаты


Наши рекомендации