/* FORMUL.

Test Formulae for SKOLEM program

Alan Bundy 23.6.81 */


test1(Ans) :-
        skolem( all(a, all(b, all(c, some(x, a*xf2 + b*x + c = 0)))), Ans).

test2(Ans) :-
        skolem( all(m, some(delta, all(x, (abs(x)=<delta) -> (1/x)>m))), Ans).