Ai and games; Modeling; Teaching logic programming; Computer Science (all)

Reasoning in high schools: Do it with ASP! ?