我在PROLOG（swi）有这个事实
pos(X,[K|T],Z) :- findall(X, (member(X, [K|T])), Z) .
然后我写这个：
pos (5 , [1,4,5] , Z ).
我收到以下错误。
ERROR: Syntax error: Operator expected
ERROR: pos
ERROR: ** here **
ERROR: (5 , [1,4,5] , Z ) .
我是prolog的新手，所以我无法理解口译员告诉我的内容，其次是我做错了什么
提前谢谢。