Каков синтаксис для char* в прологе

Question

Я хочу знать синтаксис char* в прологе, который я хочу использовать для списка символов. Я использовал list=integer* для списка целых чисел, но я не знаю sysntax для списка символов в прологе.

Answer 1

В SWI-Prolog вы должны использовать _string_to_list /2 для создания строк:

? - A = "ABCD".
А = [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