“..”在Prolog中的含义是什么？
我有这段代码：
Goal=.. [GoalPredicate|Pos]
我不知道“..”是什么意思
答案 0 :(得分：5)
此运算符称为“univ”，并在例如GNU Prolog手册here中进行了描述：
8.4.3（= ..）/ 2 - univ
模板
=..(+nonvar, ?list) =..(-nonvar, +list)描述
术语
=..如果List是一个列表，其头部是与Term的主要仿函数相对应的原子并且其尾部是Term的参数列表，则列表成功。
=..是预定义的中缀运算符（第8.14.10节）。
描述此运算符的其他好资源：