prolog中char *的语法是什么

Question

我想知道prolog中char *的语法，我想用它来表示一个字符列表。我使用list = integer *作为整数列表，但我不知道prolog中字符列表的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。 在这种情况下，已经有一个用于字符串的预定义域字符串。

这是一个用法示例：

predicates
  test(string, string).

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

示例输出：

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