2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000)