rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FIXED: documentation of countall/2 (#1976)

Browse Source
This commit is contained in:
Markus Triska
2023-09-05 19:42:55 +02:00
parent d54c3369b3
commit 1967518fa2
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib/iso_ext.pl
View File

@@ -358,10 +358,10 @@ call_nth_nesting(C, ID) :-
bb_put(ID, 0), bb_put(ID, 0),
bb_put(i_call_nth_counter, C). bb_put(i_call_nth_counter, C).
%% countall(Goal, N). %% countall(G_0, N).
% %
% countall(Goal, N) counts all solutions of Goal and unifies N with % countall(G_0, N) is true iff N unifies with the total number of
% this number of solutions. This predicate always succeeds once. % answers of call(G_0).
:- meta_predicate(countall(0, ?)). :- meta_predicate(countall(0, ?)).