This book constitutes the proceedings of the 20thInternational Conference on Logic for Programmin...