?- plus.
|: 4 5
9
true.