Icon Co-Expressions in Ada

[Ehud Lamm <mslamm@mscc.huji.ac.il>]

I am thinking about implimenting Goal Directed Evaluation ala Icon, as an
Ada package. I considred two options:
1. Using "static" data (that is, variables stored in the package's body,
in Ada) to impliment the suspend mechanism. This has its obvious problems.

2. Using Ada's tasking facilites. This has the disadvantage of making the
user use tasks. It is sad, since as far as I know you can't simply make an
Ada procedure behave in a task like way, by invking other procedures. The
task must be explicit.

Any thoughts or ideas are more than welcome. If someone did it already -
so much the better. I'd also be happy to see references (esp. Web based)
on implimenting co-expressions.

Thanks. 

Ehud Lamm     mslamm@pluto.mscc.huji.ac.il