From: Markus Triska <triska@metalevel.at>
Date: Thu, 21 Mar 2024 21:14:23 +0000 (+0100)
Subject: ADDED: meta_predicate/1 declarations for (',')//2 and (;)//2
X-Git-Tag: v0.10.0~148^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=795a7c690db988802decbf5906675541520b10b9;p=scryer-prolog.git

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

This addresses #2366.
---

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index 4ee763f0..787f2bab 100644
--- a/src/lib/dcgs.pl
+++ b/src/lib/dcgs.pl
@@ -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.