=.. 读作 univ, 作用是将prolog term 谓(主,宾)转换为[主,谓,宾],
如:
?- P =.. [loves,john,mary].
P = loves(john,mary).
?- likes(matt,mets) =.. L.
L = [likes,matt,mets]
更详细的资料见:
https://www.dontveter.com/basisofai/12.htmlhttps://www.dontveter.com/basisofai/12.html