We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 96711df commit 5adede1Copy full SHA for 5adede1
README.md
@@ -143,6 +143,7 @@ and the [DCG Primer](https://www.metalevel.at/prolog/dcg).
143
O'Keefe](https://swi-prolog.iai.uni-bonn.narkive.com/cOnL0aGn/push-back-lists-on-dcg-rule-heads)
144
discusses cuts in DCGs and why the original implementation used a
145
`C/3` predicate for unifications. In essence, if you move a unification over a cut,
146
+you end up with a non-steadfast predicate.
147
148
EDCGs short-cut this, so if you use cuts, you might not get a correct
149
translation. Here's an example:
0 commit comments