Syntaxfehler in Prolog

Question

Ich versuche, die folgende Formel in swi Prologs zu schreiben, aber einen Fehler,

Hier bekommen, ist der Code/query I

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

tippe und hier wird der Fehler ich bin bekommen

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

Könnte jemand mich wissen lassen, was ich falsch gemacht habe.

Answer 1

Das Problem war, dass ich vergessen habe, die Bibliothek [library (clpfd)] zu importieren, also musste im Grunde die folgende Anweisung verwenden use_module (library (clpfd)). Dies wurde von @ CapelliC