如何获取谓词值

Question

例如我有：

pos(10, 20).

如何编写返回第一个pos术语（10）的谓词。

 get_pos_x(Pos) :- % should return the first pos param(10).

工作范例：

get_pos_x(pos(10,20)) :- % should write 10.

Answer 1

谓词 pos(10, 20).与词 pos(10, 20)之间存在差异。

对于谓词，这将是代码：

pos(10, 20).

这将是代码的执行：

:- pos(X, 20), write(X), nl.

对于术语，这将是代码：

get_pos_x(pos(X, _)) :-
    write(X), nl.

这将是代码的执行：

:- get_pos_x(pos(10, 20)).