有人可以帮助我找到一种方法来获得Prolog中的反因子...
例如inverse_factorial(6,X) ===> X = 3.
inverse_factorial(6,X)
X = 3
我一直在努力工作.
我目前有阶乘,但我必须让它可逆.请帮我.
prolog factorial clpfd
clpfd ×1
factorial ×1
prolog ×1