From 795a7c690db988802decbf5906675541520b10b9 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 21 Mar 2024 22:14:23 +0100 Subject: [PATCH] ADDED: meta_predicate/1 declarations for (',')//2 and (;)//2 This addresses #2366. --- src/lib/dcgs.pl | 4 ++++ 1 file changed, 4 insertions(+) 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. -- 2.54.0