prolog中如何根据arity泛化程序? [英] How to generalize program according to arity in prolog?

问题描述

我使用 swi prolog.我有一个像这样的事实基础，其中包含 4 的事实.

I use swi prolog. I have a fact base like this consisting of facts with arity 4.

attribute(a1,a2,a3,a4).
data(yes,no,no,no).
data(yes,no,yes,no).
data(yes,yes,yes,no).
data(yes,yes,yes,yes).
data(no,yes,yes,yes).

当我调用 pbayes(yes,no,no,no,Result); 时，我的代码会计算 Result 的概率；

And my code calculate probability of Result when I call pbayes(yes,no,no,no,Result);

p(ColumnName,ColumnValue,Result):- 
(
(ColumnName==a1->findall(ColumnValue,data(ColumnValue,_,_,_),Liste));
(ColumnName==a2->findall(ColumnValue,data(_,ColumnValue,_,_),Liste));
(ColumnName==a3->findall(ColumnValue,data(_,_,ColumnValue,_),Liste));
(ColumnName==b->findall(ColumnValue,data(_,_,_,ColumnValue),Liste))
),
length(Liste,Sayac),
findall(_,data(_,_,_,_),TumListe),
length(TumListe,TumSayac),
Result is Sayac/TumSayac.

pcond(ColumnName,ColumnValue,BValue,Result):- 
(
s(ColumnName==a1->findall(ColumnValue,data(ColumnValue,_,_,BValue),Liste));
(ColumnName==a2->findall(ColumnValue,data(_,ColumnValue,_,BValue),Liste));
(ColumnName==a3->findall(ColumnValue,data(_,_,ColumnValue,BValue),Liste))
),
length(Liste,Sayac),

findall(BValue,data(_,_,_,BValue),BListe),
length(BListe,BSayac),
Result is Sayac/BSayac.

pbayes(B,A1,A2,A3,Result):-

pcond(a1,A1,B,ResultCondA1),
pcond(a2,A2,B,ResultCondA2),
pcond(a3,A3,B,ResultCondA3),
p(b,B,ResultB),
(Mult1=0->Result is 0,!;true),

p(a1,A1,ResultA1),p(a2,A2,ResultA2),p(a3,A3,ResultA3),
Mult2 is ResultA1 * Result2 * ResultA3,
(Mult=0->Result is 0; Result is Mult1/Mult2).

我尝试概括我的代码来解决不同类型的问题.

I try to generalize my code to solve problems with different arities.

比如 arity count 可以是 6 实际上是这样的:

Such as arity count can be 6 in fact base like this:

attribute(a1,a2,a3,a4,a5,a6).
data(yes,yes,yes,no,no,no).
data(yes,yes,yes,no,no,yes).

我的程序必须自行调整以适应 arity.你知道我怎么能做到这一点吗?

My program has to adjust itself to arity. Do you have any idea how I can achieve this?

推荐答案

将所有参数放在一个列表中，例如

putting all the arguments in a list like

attribute([a1,a2,a3,a4,a5,a6]).
data([yes,yes,yes,no,no,no]).
data([yes,yes,yes,no,no,yes]).

然后递归处理数据就是我要做的.

and then recursively process the data is what I would do.

如果出于某种原因，您想要拥有不同元数的谓词，您可以使用 =../2 运算符获取列表中的参数，然后处理它们

if, for some reason, you want to have predicates with different arities, you could use the =../2 operator to get the arguments in a list and then process them

或者你可以为每个 arity XD 编写代码

or you can write code for each arity XD

这篇关于prolog中如何根据arity泛化程序?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！