Database 如何查找prolog数据库的长度

我想知道一种在PROLOG中计算数据库长度的方法。
我发现这个谓词：

length([ ], 0).
length([H|T],N) :- length(T,M), N  is  M+1.

但它只适用于列表

---

因此，如果你有办法做到这一点，请告诉我“数据库的长度”似乎是一个毫无意义的量，就像一个兆字节的重量或一个想法的体积一样。你的谓词作用于列表；它正在测量一个列表的长度。你必须重新表述这个问题，使之有意义，并且它可能有助于包含一个带有你所期望的结果的查询。你真的是指计算一个给定函子名的多少个事实被断言<代码>findall（u，L），长度（L，Size）。