Reasoning in high schools: Do it with ASP! ?