euclid ?- solve(Density,Mo,Xt).
 
[A1,Density,Mo,Earth_Radius,G]:reals
Xt=2* (0.5*Earth_Radius)*cos(2* (G^2)^ (1/4)* (Density^2)^ (1/4)*A1*sqrt(pi/3))//A1
0<=Density
0<Mo
0<G
0<Earth_Radius
 
More (y/n) y
 
*** No ***