prolog 里的 =.. 是什么意思

=..   读作 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

http://www.gprolog.org/manual/gprolog.html#%28%3D..%29%2F2http://www.gprolog.org/manual/gprolog.html#%28%3D..%29%2F2

logic - Prolog double period - Stack Overflowhttps://stackoverflow.com/questions/8043493/prolog-double-period