next up previous
Next: Some Results Up: CLP Program Execution Previous: Top-Down Operational Semantics (I)

Top-Down Operational Semantics (II)



Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es>