如何在 XPCE 中读取 prolog 谓词

Question

我有以下简单的序言谓词：

tst(In, Out) :- Out = In.

这个想法很明确，只需在“Out”中返回与“In”中收到的相同内容即可。好的，现在我想在 XPCE 程序中包含这个 prolog 谓词。我创建了一个窗口并添加了一个按钮，该按钮应该调用此 prolog 谓词，然后显示“Out”中返回的值。我认为完成这项任务会很简单，

send(Dialog, append(button(execute_command, and(
  message(@prolog, tst, InputText?selection, prolog(Output)),
  message(@prolog, write, prolog(Output)),
  message(@prolog, nl))))),

但不幸的是，这并不完全按照我想要的方式工作。相反，它现在打印出“Out”的内部引用。例如：

?- _L204

有什么想法我的错误是什么吗？

Answer 1

从 Prolog 在 PCE 中设置值很容易，使用 send/3 或 send/4。因此解决这个问题的一种方法是让 Prolog 谓词调用一个在 PCE 对象上设置值的方法。

对象可以包含其他对象，并且在范围内具有类和实例变量。 Prolog 代码所需要的只是对对象的引用：通过使用对象引用调用谓词，谓词可以调用适当的方法来传递值。

下面是一些基于 dialog 类创建对象的代码。按下对象中的按钮时，将调用一个谓词（类似于本问题中的谓词），该谓词将根据传入的值创建一个值，然后在实例变量中设置该值对话框。它还会将值放入 text_ item 控件中。

该程序源是textfield.pl，可以使用默认文本运行

swipl -s textfield.pl -g run

：

用户输入

程序通过从按钮调用的谓词发送到 GUI 的消息来更新文本：

演示类：

:- use_module(library(pce)).

:- pce_begin_class(demo, dialog).
/* Instance variables*
         name,   type,  access, description */
variable(result, name*, get,    "Result from Prolog Callback").

initialise(Demo) :->
    "Create something that get/4 and send/3 can work with."::
    send(Demo, send_super, initialise, 'Demo'),
    send(Demo, append, new(InputText, text_item(input, 'Demo Text'))),
    send(Demo, append,
         button(execute_command,
            and(message(@prolog,doIt, Demo,InputText?selection),
            message(@prolog,printIt,Demo)))).
:- pce_end_class.

按钮调用的代码：

%%% Create a new value based on the input string
%%% Write the new value back to the 'input' member of the
%%% 'demo' object.  Also put the value int the 'result' slot.
doIt(Demo,Word) :-
    concat_atom(['*** ' , Word, ' *** '] ,WordGotDid),
    format("doIt: Setting result: ~w...~n", [WordGotDid]),
    get(Demo,member,input,InputText),
    send(InputText,selection,WordGotDid),
    send(Demo,slot,result,WordGotDid).

%%% Read and display the 'result' slot.
printIt(Demo) :-
    get(Demo,slot,result,Result),
    write('\nResult: "'),
    write(Result),
    write('"\n').

主程序：

%%% Create an object that has fields that can be mutated.
run :- new(Demo,demo),
    send(Demo,open).

在查看演示并编码后，这是我的观点，一旦我完成 XPCE 的学习，它可能会改变：尽管如此，它有点可以通过来自 XPCE 的消息在 Prolog 中进行编程，查看演示代码，这不是它的完成方式。编程是用 Prolog 或其他语言完成的，并以 Prolog 作为粘合剂，而 XPCE 主要是一个被动的 GUI，有点像 HTML 表单。该程序创建 XPCE 对象，更改其状态并从中读取值。除了一些与 GUI 相关的小型消息传递之外，XPCE 通常不会写入程序；但即便如此，通常也是在 XPCE 对象的方法中完成的。