:- module(repl_operator, [repl_operator/1]). repl_operator(X) :- X is 1 + 2 + 3 + 4.