What is Euclid
Syntax
Domains Covered
Operational Semantics
Solved Examples
Implementation
The Theory behind

The Theory Behind

Euclid is a language from the Domain Logic Programming Paradigm which in turn is an extension to the Constraint Logic Programming paradigm.

You may find more information on DLP in my PhD Thesis.

 

© 1995 Dr. K J Dryllerakis
Please read the Legal Information concerning Euclid.
CLP(R) is a Trademark of IBM Watson Research Centre, Quintus Prolog is a trademark of Quintus Corporation, USA. SunOS is a trademark of Sun MicroSystems.