Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2000 4 Dicembre 2000 Informal proceedings with program and abstracts: AGP2000-program Post proceedings are published in ENTCS VOL 48, 2001