WASP Introduction to logic for AI 2022