rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N

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

Many thanks!
This commit is contained in:
Markus Triska
2025-06-14 22:43:35 +02:00
parent 9456517bed
commit 17377064cf
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/dcgs.pl
View File

@@ -12,8 +12,8 @@ to learn more about them.
[op(1105, xfy, '|'), [op(1105, xfy, '|'),
phrase/2, phrase/2,
phrase/3, phrase/3,
phrase/4, phrase//2,
phrase/5, phrase//3,
seq//1, seq//1,
seqq//1, seqq//1,
... //0, ... //0,
@@ -29,9 +29,9 @@ to learn more about them.
:- meta_predicate phrase(2, ?, ?). :- meta_predicate phrase(2, ?, ?).
:- meta_predicate phrase(2, ?, ?, ?). :- meta_predicate(phrase(3, ?, ?, ?)).
:- meta_predicate phrase(2, ?, ?, ?, ?). :- meta_predicate(phrase(4, ?, ?, ?, ?)).
:- meta_predicate(','(2, 2, ?, ?)). :- meta_predicate(','(2, 2, ?, ?)).