Hello,
I study the possibility of parsing context-free languages with Prolog.
Head -> Body
I found the DCG (definite clause grammar).
I think that is possible with Prolog to handle context-sensitive construct
:
before Head after -> before Body after
but I seek a *good* exemple in Prolog, perhaps with the langage { a^n
b^n c^n } that is known to be context-sensitive (and not context-free).
Thanks :-)
