% From Metagol's example constants2.pl
% (Metagol's constants1.pl didn't include any no background knowledge)

% From Metagol constants2.pl
num(X) :-
        between(0,inf,X).

% num(1).
% num(2).
% num(3).
% num(4).

const(1).
const(2).
const(3).
const(4).



const1(1).
const2(2).
const3(3).
const4(4).