atom_concat适用于swi-prolog但不适用于gprolog

时间:2016-05-15 20:56:45

标签: prolog

我有这个简单的代码:

A is 1, atom_concat(A,'1', L).

SWI-prolog给了我:

A = 1,
L = '11'.

按照预期但在gprolog上我有:

uncaught exception: error(type_error(atom,1),atom_concat/3)

为什么swi-prolog和gprolog之间的输出有差异?哪一个是对的?

由于

0 个答案:

没有答案