/* probs.
CURRENT PROBLEMS*/

/* interval and eval problems */

pba(I) :- find_int(m1/(-m2),I).

pbb :- acute(x*2).

non_zero(a).

pbc :- non_zero((73^(1/2)+9)*(1/2)).

