kamahen/edcg

Extended DCG syntax for Prolog by Peter Van Roy

edcg's Issues

Complete tests castor, pollux

See https://swi-prolog.discourse.group/t/using-consult-in-a-directive-to-load-source-code-it-puzzles-me/2081/12?u=peter.ludemann

-->> can produce non-steadfast code in the presence of cuts

This comment by Richard O'Keefe discusses why the original implementation of DCGs used C/3 instead of pushing the unification into the head:
https://swi-prolog.iai.uni-bonn.narkive.com/cOnL0aGn/push-back-lists-on-dcg-rule-heads

It is possible that a cut in an EDCG body would violate this; whether it's important is not clear.

The implementation of ==>> uses '=/2instead of pushing the unification into the head; because==>>uses=>`, cuts are not likely in the body, so this is less of a problem.

Combine the sources into a single file

See discussion: https://swi-prolog.discourse.group/t/using-consult-in-a-directive-to-load-source-code-it-puzzles-me/2081

guitrace edcg grammar

Hello and happy new year !

I'm having some trouble tracing graphically a grammar using edcg.

I've described the issue in details here: SWI-Prolog/packages-xpce#24

However, I don't know if the issue is because of edcg or the graphical debugger, hence why this issue.

Thanks for your help !

Syntax error on load

Hi,
I just installed this with:
pack_install(edcg).

using swipl 8.2.4 on linux to my local directory.

Doing:

?- use_module(library(edcg)).
gets me:

ERROR: /home/eddie/.local/share/swi-prolog/pack/edcg/prolog/edcg.pl:54:43: Syntax error: Operator expected
ERROR: /home/eddie/.local/share/swi-prolog/pack/edcg/prolog/edcg.pl:59:33: Syntax error: Operator expected
true.

There seems to be a "=>" that wasn't there before.

Cheers,
Eddie

Use library(plunit) instead of library(tap)

See discussion at https://swi-prolog.discourse.group/t/using-consult-in-a-directive-to-load-source-code-it-puzzles-me/2081/12