Hi Alex,
Man, thanks for all the pilog help so far! I'm working my way down the dcg
example here
http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/7_3.html
And I notice that some of the non-terminals there have arguments, for example:
c(L) --> lead_in,arrange(L),end.
Not sure how t
Hi Doug,
> And I notice that some of the non-terminals there have arguments, for example:
Yes, I had already suspected so, because the clauses produced by 'dcg'
had only the self-generated arguments.
Currently, 'dcg' simply generates the lists of arguments. If we also
want to have user-defined a
On Fri, Jul 22, 2011 at 08:19:47AM +0200, Alexander Burger wrote:
> 2. We rewrite 'dcg' to inspect each term. As long as each element is
>atomic (as in [A]), it behaves as it does now. If there are lists (as
>in [B]), then it appends its self-generated arguments.
Hmm, now that I looked at