La capacité à interroger et extraire des informations à partir de code source de programmes rédigés par les étudiants revêt une importance significative, permettant ainsi d'automatiser la réponse aux questions suivantes : "Ce code contient-il des erreurs?", "Est-il conforme aux conventions d'écriture en Python?", "Présente-t-il de mauvaises pratiques?", "L'étudiant a-t-il substitué un 'return' par un 'print'?", etc.

Nous proposons d'explorer la technique de la méta-programmation logique pour écrire des requêtes dédiées à l'analyse de pratiques spécifiques dans le code des étudiants. L'idée sous-jacente est de traduire du code Python en une base de données logique, et ensuite de pouvoir interroger cette base de données au moyen de différentes requêtes écrites dans un langage de programmation logique.