Technical Report: Giving Hints for Logic Programming Examples without Revealing Solutions

Gokhan Avci, Mustafa Mehuljic, Peter Schüller

We introduce a framework for supporting learning to program in the paradigm of Answer Set Programming (ASP), which is a declarative logic programming formalism. Based on the idea o…