Пролог: Синтаксическая ошибка: Неожиданный конец файла процедуры `(? -A) 'не существует

Question

Я пытаюсь запустить следующий код на прологе SWI:

prefix(Xs, Ys) :- append(Ys, _, Xs)
suffix(Xs, Ys) :- append(_, Ys, Xs)
sublist(Xs, Ys) :- suffix(Xs, Zs), prefix(Zs, Ys)

Я получаю следующую ошибку:

syntax error: Unexpected end of file
procedure `(?-A)' does not exist

Как это исправить?

Answer 1

Как и то, что сказал false , каждое правило должно заканчиваться точкой.

prefix(Xs, Ys) :- append(Ys, _, Xs).
suffix(Xs, Ys) :- append(_, Ys, Xs).
sublist(Xs, Ys) :- suffix(Xs, Zs), prefix(Zs, Ys).