Math power. Example :         ?- X is 2 ** 3.          yes. X=8.