prolog counting事件知识库

Question

% Knowledgebase

parents (pedro, jose).
parents (pedro, john).
parents (pedro, mary).    
parent (john, leidis).    
parent (john, marten).    
parents (leidis, berta).    
parents (berta, pepe).

它有一个如上所述的知识基础，其中父母和孩子(第一个元素是父亲和第二个儿子)互动，是为了发展一种说教，因为父母已经返回了许多孩子。以先前知识为基础，对以下问题的答案是：

? - Cant_hijos (pedro, Cant).
Qty = 3

? - Cant_hijos (john, Cant).
Qty = 2

? - Cant_hijos (leidis, Cant).
Qty = 1

Answer 1

cant_hijos(P, N) :-
   setof(C, parent(P,C), Cs),
   length(Cs, N).

请注意，对于零个子对象，它将失败。这样问是没有意义的：

?- cant_hijos(P, 0).

因为有无限多的名字不是父母。