c++ - 使用 C++ 接口(interface)在 Prolog 中进行列表处理

Question

我正在尝试处理从 Qt 制作的 GUI 界面中获得的数字列表。具体来说，我想在标签中向用户返回一个列表，其中包含甚至在他的输入列表中的所有数字。感谢用户 CapelliC，我设法包含了所有文件和库，以使 SWI-Prolog 从 C++ 内部工作，我现在正在尝试开发该程序。

我需要使用 C++ 接口(interface)来连接 Prolog，这样我就可以通过 QLineEdit 对象从用户那里接收列表，将列表发送到 Prolog 引擎，然后 Prolog 应该将结果返回给 C++ 程序对列表。

我已经制定了从列表中提取对并将其作为另一个列表返回的规则。这些是我的 manejoListas.pl 文件的内容，我的程序的 SWI-Prolog 知识库:

pares(Lista,ListaPares):-findall(Numero,(member(Numero,Lista),mod(Numero,2)=:=0),ListaPares).

这在 SWI-Prolog 中工作正常。现在，我想在基于 C++ 和 Qt 的程序上加载此 .pl 文件，将输入列表发送到此规则并获取结果列表，由参数 ListaPares 指向我的 C++ 界面，以便我可以将其显示给用户。

我已阅读外语界面文档，但无法找到解决此特定情况所需的内容。到目前为止，这是我盲目地基于一个不完整的“教程”，我在 youtube 上发现了一个人，他懒得解释他在为另一个不相关的问题做了什么，主要是使用 Qt、C++ 和序言。

void MainWindow::on_btnPares_clicked()
{
    QString listaEntrada = ui->txtListaEntrada->text();    

    term_t listaEntrada, listaPares, term;
    functor_t paresFunc;

    listaEntrada = PL_new_term_ref();


    listaPares = PL_new_term_ref();

    term = PL_new_term_ref();

    PlCall("consult('manejoListas.pl')"); //I assume this opens my knowledgebase file so that i can work with it

    paresFunc = PL_new_functor(PL_new_atom("pares"), 2);

    PL_cons_functor(term, paresFunc, listaEntrada, listaPares);

    if(PL_call(term, NULL)) {
        PL_get_string()
    }


}

我无法前进，我不知道如何将列表传递给 SWI-Prolog，或者如何构建我应该发送给 Prolog 的正确咨询，或者如何接收答案。该程序的行为应该与我对 SWI-Prolog 运行以下咨询一样:

?- pares([2,4,8,9],X).
X = [2, 4, 8].

提前感谢您提供的任何帮助。

Answer 1

最好避免混合使用 C 接口(interface) - 即 term_t、functor_t、PL_new_term_ref() 等 - 和 C++ - 即 PlCall() 等

您的代码现在显然不可编译 - 也许您对复杂性感到有点气馁，但深呼吸并继续研究文档...

参见类 PlTail文档页面，有一个构建列表所需代码的简单示例。 OTOH，如果您可以假设该列表在语法上是正确的，那么一些更高级别的内置函数可以使您的任务更简单。例如，此代码段需要一个以逗号分隔的数字形式的输入列表:

try {
    QString numbers = QInputDialog::getText(0, "Input numbers separed by comma", "Numbers");
    PlTerm SQLIST = PlAtom(qPrintable("[" + numbers + "]")), NUMLIST, _, SUM;
    if (PlCall("atom_to_term", PlTermv(SQLIST, NUMLIST, _))) {
        if (PlCall("sum_list", PlTermv(NUMLIST, SUM))) {
            QMessageBox::information(0, "sum",
                QString("as string: %1\nas number: %2").arg((const char*)SUM).arg((long)SUM));
        }
    }
}
catch(PlException ex) {
    QMessageBox::critical(0, "exception", (const char*)ex);
}

然后展示如何取回值 - C++ 接口(interface)使用特定样式进行类型转换和值提取。使用这种风格，我们可以获得非常紧凑的代码，即使 Prolog 和 C++ 之间存在很大的“阻抗不匹配”(但这里我展示了扩展代码，没有我通常使用的任何快捷方式)。

注意 try/catch block :它将避免许多问题，捕获语法和语义错误 - 与您在 Prolog 交互式 shell 中得到的完全一样。

最后一个提示:始终测试 PlCall 的返回 - 有时，您的代码可能会失败而无一异常(exception)...