Что означает ".." на прологе?
..
У меня есть этот код:
Goal=.. [GoalPredicate|Pos]
, и я не знаю, что означает ".."
Этот оператор называется "univ" и описан, например, в руководстве по прологу GNU здесь :
8.4.3 (= ..) / 2 -univ Шаблоны =..(+nonvar, ?list) =..(-nonvar, +list) Описание Term =.. Список завершается успешно, если List является списком, голова которого является атомом, соответствующим главному функтору Termи хвост которого - список аргументов термина. =.. - предопределенный инфиксный оператор (раздел 8.14.10).
8.4.3 (= ..) / 2 -univ
Шаблоны
=..(+nonvar, ?list) =..(-nonvar, +list)
Описание
Term =.. Список завершается успешно, если List является списком, голова которого является атомом, соответствующим главному функтору Termи хвост которого - список аргументов термина.
=..
=.. - предопределенный инфиксный оператор (раздел 8.14.10).
Другие полезные ресурсы, описывающие этот оператор: