Proceedings of the Artificial Intelligence on Logic for Programming