Prolog dict谓词匹配

Question

给定这个程序，为什么我必须定义谓词中的每个原子，即使它们是匿名的。为什么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!').

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

如果我必须定义dict中的每一个可能值才能使用dict，那么我也可以只使用一个结构。

这里的动机是什么？我能做点什么来使我的谓语简洁吗？我试图定义一个有30个变量的dict，这是一个巨大的障碍。如果我被迫定义每个变量（无论是否匿名），这将使我的程序大小增加一个数量级。

Answer 1

Dict只是一种复杂的数据类型，就像tuple一样，它具有数据AND结构。例如，如果你有两个事实：

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}.

Answer 2

我能够通过执行以下来完成我需要的东西

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