каков синтаксис для 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".