prolog中char*的语法是什么?

Question

我想知道在prolog中char*的语法，我想用于字符列表。我已经使用list=integer*的整数列表，但我不知道systax字符列表在prolog.

Answer 1

在SWI-Prolog中，必须使用_string_to_list/2来创建字符串:

?- A = "ABCD".
A = [65,66,67,68].

?- string_to_list(A， "ABCD")。
A = "ABCD".

Answer 2

我猜你正在使用Turbo Prolog。在这种情况下，已经有预定义的域字符串用于字符串。

下面是一个用法示例:

predicates
  test(string, string).
clauses
test(X, Z):- concat("Hello ", X, Z).

样本输出:

Goal: test("World",Z).
Z=Hello World
1 Solution