/* Learning plus/3 - addition of integers */

background([inc/2,plus/3]).
propositional([0]).

/* Examples of the target predicate */

plus(0,1,1).
plus(0,2,2).
plus(0,4,4).
plus(1,2,3).
plus(1,4,5).
plus(2,4,6).
plus(3,4,7).

/* Background knowledge */

inc(0,1).
inc(1,2).
inc(2,3).
inc(3,4).
inc(4,5).
inc(5,6).
inc(6,7).