next up previous
Next: Linear (Dis)Equations: CLP() Up: Adding Computation Domains: CLP Previous: Constraint Logic Programs

Datalog



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