Figure 1.

Comparison between (a) the traditional logic programming teaching method and (b) the proposed AR-based logic programming teaching method. In traditional logic programming teaching, teachers mainly teach concepts and describe problems through lectures, while students solve and verify problems through program coding. In the proposed AR-based logic programming teaching, students play a crucial and active role in operating the teaching system, and teachers serve the role of learning facilitators in teaching.