/* probs.
Problems for Simultaneous Equation Solving
Alan Bundy 15.5.81 */

pb1(Ans) :- simsolve(x=4 & y=x+1, [y,x], Ans,gen).

pb2(Ans) :- simsolve(x^2=4 & y=x+1, [x,y], Ans,gen).

pb3(Ans) :- simsolve(x^2=4 & y=x+1, [y,x], Ans,gen).

pb4(Ans) :- simsolve(x^2=4 & y=x+1, [x,y], Ans,part).

