JPL textToTerm 只产生匿名变量

Question

我正在使用 JPL 在 Java 程序中执行一些 SWI-Prolog 查询。当我想创建一个新的查询时，我希望能够使用 jpl.Util.textToTerm 直接从用户输入中实例化 Terms，而无需自己解析。

问题在于此方法似乎总是将变量标识符（即以大写字母开头的东西）解析为匿名变量（即以 _ 开头的东西）。

例如，jpl.Util.textToTerm("X") returns 名称为 _1 而不是 X 的 jpl.Variable，这显然是个问题，因为这意味着我赢了'查询后可以访问任何绑定。

直接从字符串创建 jpl.Query，就像 new Query("reverse([1,2],X)") 有完全相同的问题。

Answer 1

_1它不是一个匿名变量，所以这个问题没有乍一看那么重要。

具有相同名称的变量（实际上，相同变量）一旦从 JPL 接口返回，将具有相同的表示形式。否则，您应该提交邮件列表的错误...

您应该使用 read_term 系列谓词作为选项 variable_names(Vars) 传递。例如，在 REPL

?- read_term_from_atom('a(X,Y,X)',T,[variable_names(L)]).
T = a(_G1434, _G1435, _G1434),
L = ['X'=_G1434, 'Y'=_G1435].

编辑重用 JPL 测试基础设施的快速测试（我已将文件命名为 TestQuery.java）

import java.util.Map;

import org.jpl7.Query;
import org.jpl7.Term;

public class TestQuery {
    public static void main(String argv[]) {
        Query q = new Query("X = 1");
        Map<String, Term>[] solutions = q.allSolutions();
        System.out.println(solutions[0]);
    }
}

产出

./run.sh
Compiling TestQuery

JPL demo: TestQuery

{X=1}

所以，也许我首先不理解您的问题，抱歉...您使用的是最新安装吗？

JPL textToTerm 只产生匿名变量

JPL textToTerm only produces anonymous variables

java

prolog

jpl

swi-prolog