A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context | IEEE Conference Publication | IEEE Xplore