Raph,
I looked at the supplemental website, but am having trouble
locating the source code for Solve. I especially looked at the section
titled "Mozart System Supplements". Additionally, I may be able to
implement what I want to do strictly through Ch. 9. I beg this mailing
list's indulgence as I talk about constraints, computation spaces, and other
topics without full knowledge of the foundations. I see that there is an
EBNF parser in Ch.9 and I want to investigate if it may be useful in setting
up a production grammar. There is certainly a lot to learn and absorb.
Craig
On 3/20/07, Craig Ugoretz <[EMAIL PROTECTED]> wrote:
Raph,
No, I have not. I will give it a try.
Thanks,
Craig
On 3/20/07, Raphael Collet <[EMAIL PROTECTED]> wrote:
>
> Craig,
>
> Solve is not defined by Mozart. Have you picked the definition of Solve
> that is provided on the book's supplement web site?
>
> raph
>
>
> Craig Ugoretz wrote:
> > Hello,
> >
> > I have an idea how to generate test data for a parser that I may
> > need to create for a Java based parser generator. This process
> > would involve using what I have learned about relational programming
> in
> > the CTM book. However, I am running into a problem with the program
> > blocking on the {Solve F} construct in a sample program that I have
> > created. The program should print out the following strings: ab, ac,
> > ba, bc, ca, cb. The code for the program is given below:
> >
> >
> > declare
> > fun {Pick} choice a [] b [] c end end
> >
> > fun {DiffPair}
> > P1 P2
> > in
> > P1 = {Pick}
> > P2 = {Pick}
> > if P1==P2 then fail else P1#P2 end
> > end
> >
> > fun {SolveAll F}
> > L={Solve F}
> > proc {TouchAll L}
> > if L==nil then skip else {TouchAll L.2} end
> > end
> > in
> > {TouchAll L}
> > L
> > end
> >
> > {Browse {SolveAll DiffPair}}
>
_________________________________________________________________________________
>
> mozart-users mailing list
> [email protected]
> http://www.mozart-oz.org/mailman/listinfo/mozart-users
>
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
