I got two replies so far. The first one suggested a solution
where instantiated and uninstantiated edges are hold in
two different data structures. But I guess this can only
be done making heavy use of unsafe functions and losing
nice properties.
The second reply suggested to think about tricks with
laziness. This is the direction my question was targeted
at. But I do not actually know whether and how this
can be done.
I wonder how the Prolog people deal with this issue. I
have not found a related approach yet. Do you know
of any work in this direction?
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Apr 10 2008 - 10:00:39 CEST