next up previous
Next: Pragmatics Up: CLP Program Execution Previous: Top-Down Operational Semantics (II)

Some Results

Under certain solver conditions, the following sets are equivalent:



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