% Qualitative regression. Regression here is for linear function.
% The underlying function is
%
%	y=3+x

:- [order]?

% Positive examples

f(15.0,18.0).
f(1.0,4.0).
f(2.0,5.0).
f(3.0,6.0).
f(4.0,7.0).
f(5.0,8.0).
f(6.0,9.0).
f(7.0,10.0).
f(8.0,11.0).
f(9.0,12.0).
f(10.0,13.0).
f(11.0,14.0).
f(12.0,15.0).
f(13.0,16.0).
f(14.0,17.0).

% Negative examples

% :- f(1.0,8.5).
% :- f(3.0,1.1).
% :- f(7.0,70.0).