1

鉴于这个程序，为什么我必须在谓词中定义每个原子，即使它们是匿名的。为什么 dict 谓词中的未定义变量不被认为是匿名的？

funt2(X) :-
    X = point{x:5, y:6}.

evalfunt(point{x:5, y : 6}) :-
    write('hello world!').

evalfunt(point{x:_, y : _} ) :-
    write('GoodBye world!').

为什么我不能说

evalfunt(point{x:5}) :-
        write('GoodBye world!').

^ 顺便说一句，这不匹配。

如果我必须在字典中定义每个可能的值来使用字典，我也可以只使用一个结构。

这里的动机是什么？我可以做些什么来使我的谓词简洁吗？我正在尝试用 30 个变量定义一个字典，这是一个巨大的障碍。如果我被迫定义每个变量（匿名与否），它将使我的程序大小增加一个数量级。

4

2 回答 2

4

Dict 只是一个复杂的数据类型，就像元组一样，具有数据与结构。例如，如果您有两个事实：

fact(point{x:5, y:6}).
fact(point{x:5}).

然后查询

fact(point{x:_}).

将匹配第二个，但不匹配第一个。和查询

fact(point{x:_, y:_}).

将匹配第一个，但不匹配第二个。

现在，如果您只想fact(point{x:_, y:_, z:_})通过一个特定字段匹配表单的事实，您总是可以编写一个辅助规则：

matchByX(X, P) :- fact(P), P=point{x:X, y:_, z:_}.

所以有事实：

fact(point{x:5, y:6, z:1}).
fact(point{x:1, y:2, z:3}).
fact(point{x:2, y:65, z:4}).

和查询

matchByX(1, P).

将返回：

P = point{x:1, y:2, z:3}


更新：
此外，在 SWI-Prolog 7 版本中，字段名称也可以匹配，因此可以以更通用的方式编写，即使对于具有不同结构的事实：

fact(point{x:5, y:6, z:1}).
fact(point{x:1, y:2}).
fact(point{x:2}).
fact(point{x:2, y:2}).

matchByField(F, X, P) :- fact(P), P.F = X.

所以查询：

?- matchByField(x, 2, P).
P = point{x:2} ;
P = point{x:2, y:2}.
于 2015-03-23T15:03:12.350 回答
1

通过执行以下操作，我能够完成我需要的事情

checkiffive(Y) :- 
        get_dict(x, Y, V), V=5.

您需要使用内置方法来统一 dict 中的值。

在 SWI prolog 参考的第 5.4 章中描述

http://www.swi-prolog.org/download/devel/doc/SWI-Prolog-7.1.16.pdf

于 2015-03-23T15:09:35.883 回答