Found this really old SWI-Prolog forum post (20 years ago) that had some useful information.
https://swi-prolog.iai.uni-bonn.narkive.com/cOnL0aGn/push-back-lists-on-dcg-rule-heads
Found this really old SWI-Prolog forum post (20 years ago) that had some useful information.
https://swi-prolog.iai.uni-bonn.narkive.com/cOnL0aGn/push-back-lists-on-dcg-rule-heads
Ah, those confusing push-back lists! Here’s another archived post from 12 years ago where the first poster is really, really confused and completely out of her depth:
https://swi-prolog.iai.uni-bonn.narkive.com/QBwIiHBC/how-to-hide-implied-tokens-in-dcg-rules#post1
(12 years ago! Bloody hell, time flies. Btw, where are Richard O’Keefe, Samer Abdallah and Feliks Kuzniak?)