math - Prolog可逆算法

Question

在序言中有什么方法可以问诸如4 is 2^X之类的问题，然后找回X=2吗？我尝试使用=，==和=:=都没有成功(仅获得false或arguments not sufficiently instantiated)。

Answer 1

使用SWI-Prolog和库(clpfd)，您可以提出类似的问题。

 ?- use_module(library(clpfd)).
%  library(apply_macros) compiled into apply_macros 0,00 sec, 39 clauses
%  library(assoc) compiled into assoc 0,03 sec, 143 clauses
% library(clpfd) compiled into clpfd 0,11 sec, 1,456 clauses
true.

 ?- 4 #= 2 * X.
X = 2.