从知识库中检索受限列表

Question

step('pancakes', 1, 'mix butter and sugar in a bowl', [butter, sugar], ['bowl']). 
step('pancakes', 2, 'add eggs', [eggs], []). 
step('pancakes', 3, 'mix flour and bakingpowder', [flour, baking_powder], []).

steps(R,Y,P):-
     findall(A,step(R,_,A,_,P),Z),
     distinctSteps(Z,Y).

distinctSteps(Z,Y) :-
     list_to_set(Z,Y).

所以我有这个知识库和一个规则，该规则应该使用我作为参数提供的某些工具来检索步骤。 例如steps('pancakes', bowl, I). 应该返回I = ['mix butter and sugar in a bowl'] 。 但是，它只会给出false 。 如果我将它减少到R,Y它可以工作，但这不是我想要的。 我究竟做错了什么？

Answer 1

所以可能有误会。 您的成分术语是原子（ bowl ）还是列表（ [bowl] ）？ 我问是因为这是我想出的知识库，但我不确定这是否满足您的要求。 所以我假设你使用了一个餐具清单。 请注意，以下知识库与您的不同（因此问题也不同）：

step(pancakes, 1, 'mix butter and sugar', [butter, sugar], [bowl, mixer]). 
step(pancakes, 2, 'add eggs', [eggs], []). 
step(pancakes, 3, 'mix flour and bakingpowder', [flour, bakingpowder], [bowl]). 

hasUtensil(Dish, Step, Instr, Ingr, Utensil):-
    step(Dish, Step, Instr, Ingr, U),
    member(Utensil, U).

stepsUtensil(Dish,Utensil,Instructs):-
    findall(A, hasUtensil(Dish,_,A,_,Utensil), Instructs).

?- stepsUtensil(pancakes, bowl, I).
I = ['mix butter and sugar', 'mix flour and bakingpowder']

stepsUtensil/5只是从step/5的器具列表中取消列出所有器具。 它只是通过询问工具列表中的所有成员来实现的。 例如第一步：

?- hasUtensil(_,1,_,_,U).
U = bowl ;
U = mixer ;
false.

如果你将hasUtensil/5写成一个事实，它将如下所示：

step(pancakes, 1, 'mix butter and sugar', [butter, sugar], bowl). 
step(pancakes, 1, 'mix butter and sugar', [butter, sugar], mixer). 
step(pancakes, 3, 'mix flour and bakingpowder', [flour, bakingpowder], bowl).