%% Stratification %Rules %------------------------------ int(1). int(Y) <- int(X), Y=X+1, X<99. odd(X) <- int(X), X mod 2 ~= 0. even(X) <- int(X), ~odd(X). export even(X). export odd(X). export int(X).