Introduction to the 31st International Conference on Logic Programming special issue. Issue 4 (3rd September 2015)