ADDED: meta_predicate/1 declarations for (',')//2 and (;)//2

This addresses #2366.
This commit is contained in:
Markus Triska
2024-03-21 22:14:23 +01:00
parent 2fdbb94c79
commit 795a7c690d

View File

@@ -33,6 +33,10 @@ to learn more about them.
:- meta_predicate phrase(2, ?, ?, ?, ?).
:- meta_predicate(','(2, 2, ?, ?)).
:- meta_predicate(;(2, 2, ?, ?)).
%% phrase(+Body, ?Ls).
%
% True iff Body describes the list Ls. Body must be a DCG body.