[m-users.] A predicate taking a lists of predicates as input?

[Volker Wysk]

Am Mittwoch, dem 24.09.2025 um 18:40 +0200 schrieb Tomas By:
> On Wed, 24 Sep 2025 18:35:00 +0200, Volker Wysk wrote:
> > > If you want to parse a limited, static formalism, like some variant of
> > > predicate logic, then DCG may not be the best solution.
> > 
> > DCGs are just a handy syntax for predicates with a state variable at the
> > end
> > of the arguments. When you have that in mind, it's doesn't matter if you
> > use
> > DCGs or state variables explicitly. 
> 
> 
> No, but there are better ways to implement a parser.

Now you've made me curious. Do you have a catchword which I could look up?

Volker