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

Merge pull request #1001 from triska/master

Browse Source 
ADDED: ... //0, describing an arbitrary number of elements
This commit is contained in:
Mark Thom
2021-07-08 14:44:29 -06:00
committed by GitHub
parent 4decd1d784 bf9654e138
commit f42b7f4efa
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/lib/dcgs.pl
View File

@@ -3,7 +3,9 @@
phrase/2, phrase/2,
phrase/3, phrase/3,
seq//1, seq//1,
seqq//1]). seqq//1,
... //0
]).
:- use_module(library(error)). :- use_module(library(error)).
:- use_module(library(lists), [append/3]). :- use_module(library(lists), [append/3]).
@@ -188,3 +190,6 @@ seq([E|Es]) --> [E], seq(Es).
% Describes a sequence of sequences % Describes a sequence of sequences
seqq([]) --> []. seqq([]) --> [].
seqq([Es|Ess]) --> seq(Es), seqq(Ess). seqq([Es|Ess]) --> seq(Es), seqq(Ess).
% Describes an arbitrary number of elements
... --> [] | [_], ... .