prolog - プロローグのchar*の構文は何ですか

Question

文字のリストに使用したいプロローグのchar*の構文を知りたい。私は整数のリストにlist=integer *を使用しましたが、プロローグの文字リストにsysntaxを知りません。

Answer 1

Turbo Prologを使用していると思います。その場合、文字列に使用される定義済みのドメイン文字列が既に存在します。

使用例を次に示します。

predicates
  test(string, string).

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

出力例:

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

Answer 2

SWI-Prolog では、_string_to_list /2 を使用して文字列を作成する必要があります。

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

?- string_to_list(A, "ABCD")。
A =「ABCD」。