Logic and Answer Set Programming in High School: Two Learning Unit Experiences

This paper presents the design and implementation of two learning units for teaching Answer Set Programming (ASP) to high school students, with a focus on deductive Artificial Intelligence models. These units were carried out in classroom settings at two different schools, aiming to develop logical reasoning and problem-solving skills through declarative programming. The paper discusses the teaching methods employed and the outcomes observed in both educational contexts. The findings provide practical information for educators who are interested in considering the integration of logic programming into high school curricula.