prolog - what is the syntax for char* in prolog

Question

I want to know the syntax for char* in prolog which i want to use for a list of a characters. I have used list=integer* for a list of integers but i dont know sysntax for characters list in 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