I’m using: SWI-Prolog version 8.1.9.
Is there a way to get a quick count of all the terms in the database?
For example, let’s say I did the following:
assert(temp(dog)). assert(temp(cat)). assert(temp(bird)).
Is there something I can call that will give me the answer “3” for the query pattern (temp(_))?