?- X :- 6+2.