ComprehendControlFlow library contains a conceptual model of the control flow domain. It is based on knowledge graphs in RDF format and rules for the Apache Jena reasoner.
It contains definitions of concepts needed to classify learning problems and describe learners' knowledge of the domain, and can score answers, find semantic errors, and suggest correct solution steps using symbolic AI methods.
Related publication: "Formal conceptual model of control-flow statements domain for intelligent tutoring systems"