next_inactive up previous







Computational Logic
CLP Semantics and Fundamental Results

Constraint Domains


Domains (I)


Domains (II)

Domains (III)

CLP(${\cal X}$) Programs


Basic Operations on Constraints


Properties of CLP Languages

Solution Compactness

Logical Semantics (I)

Logical Semantics (II)


Logical Semantics (III)

Fixpoint Semantics

Top-Down Operational Semantics (I)


Top-Down Operational Semantics (II)


Top-Down Operational Semantics (III)

Top-Down Operational Semantics (IV)

Computation Tree: Example


Types of CLP(${\cal X}$) Systems

Soundness and Completeness Results

Negation in CLP(${\cal X}$)


next_inactive up previous
Last modification: Wed Nov 22 23:40:34 CET 2006 <webmaster@clip.dia.fi.upm.es>[CLIP] [FIM] [UNM]