prolog 中 char* 的语法是什么

Question

我想知道序言中 char* 的语法，我想将其用于字符列表。我已使用 list=integer* 作为整数列表，但我不知道序言中字符列表的 sysntax。

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。
在这种情况下，已经有一个用于字符串的预定义域string。

这是一个用法示例：

predicates
  test(string, string).

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

示例输出：

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