Short Communications

Short reports of a technical nature.

Contents

• Hierarchical Arc Consistency

• A Metaphor for Prolog Procedures using Difference Lists

• Applying Interval Arithmetic to Real, Integer and Boolean Constraints

• Switches for Making Prolog a more Dynamic Programming Language

• Survey about LambdaProlog

• How To Invent A Meta-interpreter For The Ancestor Cut

• What does Subset Mean?

• A Predictive Bottom-up Evaluator

• Image Processing in Prolog: Getting the Paradigm Right