Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15)

摘要

This special issue gathers together extended versions of selected papers from the 17th International Symposium on Principles and Practice of Declarative Programming PPDP 2015, held in Siena, Italy in July 2015. The aim of the symposium is to cross-fertilize the logic, constraint and functional programming paradigms, and stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations.