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

[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.

/Tomas