Replaced raw_chars//1 in library(pio) with seq//1 in library(dcgs).

This commit is contained in:
panasenco
2021-04-25 14:53:37 -07:00
parent e0e812f95c
commit 02b89362b2
3 changed files with 13 additions and 16 deletions

View File

@@ -1,7 +1,9 @@
:- module(dcgs,
[op(1105, xfy, '|'),
phrase/2,
phrase/3]).
phrase/3,
seq//1,
seqq//1]).
:- use_module(library(error)).
:- use_module(library(lists), [append/3]).
@@ -178,3 +180,11 @@ user:term_expansion(Term0, Term) :-
nonvar(Term0),
dcg_rule(Term0, (Head :- Body)),
Term = (Head :- Body).
% Describes a sequence
seq([]) --> [].
seq([E|Es]) --> [E], seq(Es).
% Describes a sequence of sequences
seqq([]) --> [].
seqq([Es|Ess]) --> seq(Es), seqq(Ess).