在prolog中是否有任何方式可以提出类似的问题4 is 2^X,然后再回来X=2？我试着使用=,==,=:=都没有成功(获得要么只是false或arguments not sufficiently instantiated).
4 is 2^X
X=2
=
==
=:=
false
arguments not sufficiently instantiated
math prolog
math ×1
prolog ×1