如何在 swi-prolog 中导入运算符？答案

【问题标题】：Howto import operators in swi-prolog?如何在 swi-prolog 中导入运算符？
【发布时间】：2016-09-05 12:19:32
【问题描述】：

我有以下文件：

:- use_module(library(clpfd)).

isPowTwo(N) :- N #> 0, N #= 2^_.

一切正常：

?- [importTest].
%     library(pairs) compiled into pairs 0.00 sec, 22 clauses
%    library(lists) compiled into lists 0.01 sec, 122 clauses
%    library(occurs) compiled into occurs 0.00 sec, 14 clauses
%   library(apply_macros) compiled into apply_macros 0.01 sec, 168 clauses
%   library(assoc) compiled into assoc 0.01 sec, 103 clauses
%  library(clpfd) compiled into clpfd 0.15 sec, 2,808 clauses
% importTest compiled 0.16 sec, 2,813 clauses
true.

现在我只想导入两个使用过的运算符：

:- use_module(library(clpfd), [(#>)/2, (#=)/2]).

isPowTwo(N) :- N #> 0, N #= 2^_.

它不起作用：

?- [importTest].
%     library(pairs) compiled into pairs 0.00 sec, 22 clauses
%    library(lists) compiled into lists 0.01 sec, 122 clauses
%    library(occurs) compiled into occurs 0.00 sec, 14 clauses
%   library(apply_macros) compiled into apply_macros 0.01 sec, 168 clauses
%   library(assoc) compiled into assoc 0.01 sec, 103 clauses
%  library(clpfd) compiled into clpfd 0.16 sec, 2,808 clauses
ERROR: .../importTest.pl:3:17: Syntax error: Operator expected
% importTest compiled 0.16 sec, 2,812 clauses
true.

?- isPowTwo(1).
ERROR: toplevel: Undefined procedure: isPowTwo/1 (DWIM could not correct goal)

在#> 和#= 周围留下括号没有区别。

【问题讨论】：

标签： module prolog swi-prolog

【解决方案1】：

您的use_module/2 指令中有语法错误（因此出现Syntax error: Operator expected 错误消息）。您可以通过写作来纠正它：

:- use_module(library(clpfd), [(#>)/2, (#=)/2]).

但您还需要导入相应的运算符以用于isPowTwo/1 谓词的定义：

:- use_module(library(clpfd), [(#>)/2, (#=)/2, op(700,xfx,(#>)), op(700,xfx,(#=))]).

【讨论】：

这个想法是您可以按模式导入运算符，如op(_,_,#>)，因此您不需要重复优先级。这被打破了。对此进行了修复，因此它应该可以在 7.3.27 中使用。