标签: 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之间的输出有差异?哪一个是对的?
由于