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!

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index 2dc858a46e9cc152015bcc7153a7b42334f18a8c..835e80a54e7d0e63973de7e4fa7c1e51bb17fbdc 100644 (file)
--- 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, ?, ?)).