Prolog双期

Question

..Prolog 中的" "是什么意思？

我有这个代码:

Goal=.. [GoalPredicate|Pos]

我不知道" .."是什么意思

Answer 1

这个运算符被称为"univ",例如在这里描述GNU Prolog手册:

8.4.3(= ..)/ 2 - univ

模板

=..(+nonvar, ?list)
=..(-nonvar, +list)

描述

=..如果List是一个列表,其头部是与Term的主要函子相对应的原子,其尾部是Term的参数列表,则Term List会成功.

=.. 是预定义的中缀运算符(第8.14.10节).

描述此运算符的其他好资源:

• PROLOG 12.1 PROLOG的更多实用功能
• http://wwwcgi.rdg.ac.uk:8081/cgi-bin/cgiwrap/wsi14/poplog/prolog/ploghelp/univ