Prolog GNU - Univ оператор? Объяснение этого

Question

Итак, оператор univ. Я не совсем понимаю это.

Например это:

foo(PredList,[H|_]) :- bar(PredList,H). 
foo(PredList,[_|T]) :- foo(PredList,T),!. 

bar([H|_],Item) :- G =.. [H,Item],G. 
bar([_|T],Item) :- bar(T,Item). 

Что это делает? Это похоже на то, верно ли другое предикат. Я не понимаю, что делает «..».

Как бы вы переписали это без оператора univ?

Answer 1

Univ (=..) разбивает термин на список составляющих или строит термин из такого списка. Попробуйте:

?- f(x,y) =.. L. 
L = [f, x, y]. 

?- f(x,y,z) =.. [f|Args]. 
Args = [x, y, z]. 

?- Term =.. [g,x,y]. 
Term = g(x, y). 

bar кажется называть каждый предикат в PredList на Item с foo возвратов над Item с. (Используя переменную как предикат не является портативным, а call предикат должен быть предпочтительным.)

Редактировать: Kaarel является правильным, Univ может быть заменен functor/3 и arg/3, следующим образом:

bar([H|_],Item) :- 
    functor(Goal,H,1), % unifies Goal with H(_) 
    arg(1,Goal,Item), % unifies first argument of Goal with Item 
    call(Goal).   % use this for portability 

Answer 2

наиболее подходящим переписан на мой взгляд, было бы:

bar([H|_], Item) :- call(H, Item). 

call/n еще не являются частью основного стандарта ISO, но они могут becom e в ближайшем будущем (*). Многие системы Prolog уже поддерживают их.

Существует одна причина, почему call/n должно быть более предпочтительным, чем простой (=..)/2 и functor/3 + arg/3 решений. Решение call/n способно обрабатывать затворы (**).

С простым решением (=..)/2 и functor/3 + arg/3 можно вызвать bar/2 только с атомами в первом списке аргументов. Например:

p1(1). 
p2(2). 
?- bar([p1, p2], 1). 
Yes 
?- bar([p1, p2], 2). 
Yes 
?- bar([p1, p2], 3). 
No 

С закрытием мы не ограничены атомами, и мы можем сэкономить некоторое усилие кодирования. Например, мы можем сделать следующие непосредственно:

?- bar([=(1), =(2)], 1). 
Yes 
?- bar([=(1), =(2)], 2). 
Yes 
?- bar([=(1), =(2)], 3). 
No 

С наилучшими пожеланиями

(*)
Проект технических опечаток 2
http://www.complang.tuwien.ac.at/ulrich/iso-prolog/dtc2#call

(**)
Кто изобрел это ?: call/n Предикаты
http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/naish.html