Предикаты functor и arg дают один из способов создания произвольных структур и доступа к их аргументам. Предикат '=..' предоставляет альтернативный способ, полезный в том случае, когда необходимо одновременно получить все аргументы структуры или создать структуру по заданному списку ее аргументов. Целевое утверждение Х=..L означает, что L есть список, состоящий из функтора структуры Х, за которым следуют аргументы Х. Такое целевое утверждение может быть использовано двумя способами, так же как и целевое утверждение functor.
Преобразование структуры в список. Если Х уже имеет значение, то Пролог создает соответствующий список и пытается его сопоставить с L.
Преобразование списка в структуру. Напротив, если Х не конкретизировано, то список L будет использован для формирования соответствующей структуры, которая станет значением Х. В этом случае голова списка должна быть атомом. Этот атом станет функтором Х. Ниже приведено несколько примеров целевых утверждений, содержащих '=..'
?- 'имя'('Иван','Петр','Ирина')=..Х.
Х=['имя','Иван','Петр','Ирина'].
?- 'присоединить'([А|В],С,[А|D])=..L.
А=_2 В=_3 С=_4 D=_5
L=['присоединить',[_2|_3],_4,[_2|_5]].
?- [a,b,c,d]=..L.
L=['.',a,[b,c,d]].
?- (a+b)=..L.
L=[+,a,b].
?- Х=..[a,b,c,d].
Х=a(b,c,d).
?- (a+b) =..[+,Х,Y].
Х=a Y=b
?- [a,b,c,d]=..[Х|Y].
Х='.' Y=[a,[b,c,d]].
Пример 5. Определение предиката reconsult. В качестве примера использования вышеописанных предикатов здесь приведено определение предиката reconsult на Прологе. При выполнении reconsult каждое считанное утверждение замещает существующее утверждение того же предиката, а не добавляется к нему.
reconsult(FL):- 'убери_все'('сделано'(_)),seeing(CТАЫЙ),see(FL),repeat,
read(TERM),'проверить'(TERM),seen,see(CТАЫЙ),!.
'проверить'(Х):- 'маркер_конца_файла'(Х),!.
'проверить'((?-ZЦЕЛИ)):- !,call(ZЦЕЛИ),!,fail.
'проверить'(UTV):- 'заголовок'(UTV,ЗАГОЛОВОК),
'запись_сделана'(ЗАГОЛОВОК),assertz(UTV),fail.
'запись_сделана'(ЗАГОЛОВОК):-'сделано'(ЗАГОЛОВОК),!.
'запись_сделана'(ЗАГОЛОВОК):- functor(ЗАГОЛОВОК,FUNC,ARITY),
functor(PROC,FUNC,ARITY),
asserta('сделано'(PROC)),
'убери_все'(PROC),!.
'заголовок'((А :- В),А) :- !.
'заголовок'(А,А).
|
Главная
Каталог файлов
