This study aims to explore an educational learning environment that supports students to learn conceptual modelling with the unified modelling language (UML). In this study, we call the describing models "UML programming." In this paper, we show an educational UML programming environment for science, technology, engineering, art, and…

This paper describes applications of logic programming technology to the teaching of the inductive method in computer science and mathematics. It discusses the nature of inductive thought and its place in those fields of inquiry, arguing that a complete logic programming system for supporting inductive inference is not only feasible but necessary.…