Introduction to AI and Logic Programming 2023