将列表作为用户的输入，并在其他谓词（例如append）和我要实现代码的其他谓词中使用

Question

 test():-
    write("list1"),
    read(A),
    write("list2"),
    read(B),
    write(A),
    write(B).

 append([],X,X).
 append([X|Y],Z,[X|W]) :- append(Y,Z,W).'

代码输出为：

?- test().
     list1[A,B,C].
     list2|: [D,E].
     [_3842,_3848,_3854][_3866,_3872]
     true.

但我希望它像普通字母一样。

Answer 1

read谓词旨在读取术语。要读取字符串，请改用read_string。