From 17377064cf3379255afbdf0b355108adbb45cc5d Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sat, 14 Jun 2025 22:43:35 +0200
Subject: [PATCH] use nonterminal indicators, correct meta_predicate/1 for
 higher-order phrase//N

Noted by @UWN in https://github.com/mthom/scryer-prolog/discussions/2872.

Many thanks!
---
 src/lib/dcgs.pl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index 2dc858a4..835e80a5 100644
--- a/src/lib/dcgs.pl
+++ b/src/lib/dcgs.pl
@@ -12,8 +12,8 @@ to learn more about them.
           [op(1105, xfy, '|'),
            phrase/2,
            phrase/3,
-           phrase/4,
-           phrase/5,
+           phrase//2,
+           phrase//3,
            seq//1,
            seqq//1,
            ... //0,
@@ -29,9 +29,9 @@ to learn more about them.
 
 :- meta_predicate phrase(2, ?, ?).
 
-:- meta_predicate phrase(2, ?, ?, ?).
+:- meta_predicate(phrase(3, ?, ?, ?)).
 
-:- meta_predicate phrase(2, ?, ?, ?, ?).
+:- meta_predicate(phrase(4, ?, ?, ?, ?)).
 
 :- meta_predicate(','(2, 2, ?, ?)).
 
-- 
2.54.0