Closed sasagawa888 closed 1 month ago
?- X is pi^2000. X = inf . yes ?-
same as Gnu-Prolog. it is OK.
?- X is pi^2000. X = inf . yes ?-