我如何在SWI-Prolog中漂亮地打印一个术语列表。
我尝试过:
portray_clause([term1, term2]).
但它只是以长流的形式写出来,而且字符串甚至被打印成ASCII字符代码列表 - 我希望"abc"被打印出来。
我如何在SWI-Prolog中漂亮地打印一个术语列表。
我尝试过:
portray_clause([term1, term2]).
但它只是以长流的形式写出来,而且字符串甚至被打印成ASCII字符代码列表 - 我希望"abc"被打印出来。
library(double_quotes)
。?- write(["a", "b", "c"]).
[[97],[98],[99]]
true.
?- write(['a','b','c']).
[a,b,c]
true.