Синтаксическая ошибка в прологе

Question

Я пытаюсь написать следующую формулу в SWI-Prolog, но получаю сообщение об ошибке,

Вот код/​​запрос Я печатаю

[X, Y, Z] ins 0 .. 4, X #= Y + 1. 

и здесь ошибка Я получение

ERROR: Syntax error: Operator expected 
ERROR: [X, Y, Z] 
ERROR: ** here ** 
ERROR: ins 0..4, X #= Y + 1 . 

Может ли кто-нибудь сообщить мне, что я сделал не так.

Answer 1

Проблема заключалась в том, что я забыл импортировать библиотеку [library (clpfd)], поэтому в основном пришлось использовать следующее выражение use_module (library (clpfd)). Это было замечено @CapelliC