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

[Tomas By]

Just tying up some loose ends here.

On Wed, 24 Sep 2025 18:35:00 +0200, Volker Wysk wrote:
> DCGs are just a handy syntax for predicates with a state variable at the end
> of the arguments.

No, DCG is parsing technology.

https://www.sciencedirect.com/science/article/abs/pii/000437028090003X


On Thu, 25 Sep 2025 15:55:40 +0200, Anders Lundstedt wrote:
> I think it will suffice to declare each rule as semidet.

No, not generally. It quickly becomes unmanageable.

It is a major feature of DCG that you do not know in which order
things are computed. You state relations, and then the machine works
out if it makes sense or not.

/Tomas