next up previous
Next: Constructing Data Structures Up: Adding Computation Domains: CLP Previous: Herbrand Terms

Herbrand Terms: Syntactic Equality



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