Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers (Lecture notes in computer science, 2014)