Is there an efficient way to know how many facts in total were asserted into the Prolog fact store. For example – suppose I am asserting a number of fact types:
And then know how many fact_type_1/1 and fact_type_2/2, there are.
I am interested in all facts not the result of a goal / query with constraints.
Can this be done without actually retrieving each one of them and counting them?
Or, do i need to actually keep track of their count, e.g.
N1 is N + 1,