Includes supplementary material: sn.pub/extras
Veronica Dahl
Constraint Constraint Programming Declarative Languages Declarative Programming Java Java-Based Prolog Engines Program Analysis Prolog Prolog Programming Reactive Systems XML algorithm algorithms object oriented design programming