The CIAO Multi-Dialect Compiler and System: a Demo
 and Status Report

Abstract
CIAO is a programming environment supporting several flavours of Logic and Constraint programming which allows concurrent and distributed programming, and transparently exploits parallelism in programs. The purpose of this paper (and demo) is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the areas of program analysis and transformation already obtained with the system.