Question

我需要一些帮助来查找Prolog中有关知识库的规则和/或查询，以及有关超市中的客户的信息。

例如我有：

Customer(Name,Age,Sex,Wage).

customer(John,30,M,2000).
customer(Mary,35,F,2500).
customer(Mark,40,M,2500).

invoice(Number, CostumerName, Product, Price).

invoice(001, John, Potatoes, 20).
invoice(002, John, Tomatoes, 10).
invoice(003, Mary, Soap, 50).
invoice(004, Mark, Potatoes, 20).
invoice(005, Mary, Detergent, 15).

Food(Potatoes).
Food(Tomatoes).
CleanProd(Soap).
CleanProd(Detergent).

如果我想找一个趋势，例如，要了解女性购买的产品比男性更多...我应该使用哪种或哪种规则和查询？

Answer 1

您可以使用findall后跟sort来收集查询的唯一结果（您不希望列表中有重复的发票），并length来检查查询的长度收集结果。

例如：

findall(X, (invoice(X, C, P, _), customer(C, _, f, _), cleanProd(P)), Xs),
sort(Xs, InvoicesOfWomenBuyingCleanProducts),
length(InvoicesOfMenBuyingCleanProducts, N).

另外，请注意变量以大写开头，而atom以小写开头（也适用于谓词名称）。

如果你真的想要一个以大写字母开头的原子，你必须用单引号括起来。

变量：M

Atom：'M'

Atom：m

例如，您可以用这种方式重写KB：

%   this is not needed, however is useful as
%   a documentation of what your predicate means:
% customer(Name,Age,Sex,Wage).

customer('John',30,m,2000).
customer('Mary',35,f,2500).
customer('Mark',40,m,2500).

% invoice(Number, CostumerName, Product, Price).

invoice(001, 'John', potatoes, 20).
invoice(002, 'John', tomatoes, 10).
invoice(003, 'Mary', soap, 50).
invoice(004, 'Mark', potatoes, 20).
invoice(005, 'Mary', detergent, 15).

food(potatoes).
food(tomatoes).
cleanProd(soap).
cleanProd(detergent).

Prolog规则和查询

1 个答案: