PPDP 2002 urth International Conference on Principles and Practice of Declarative Programming