There has been a growing interest in the research community in the general domain of Cyber-Physical Systems (CPS). A CPS is a collection of computational entities that directly or indirectly control physical systems.
The possibilities for application of logic programming technology in CPS are endless and fairly evident. But one aspect that probably has not been emphasized is the role that logic programming technology can have to promote education in CPS.
The recent workshop on Cyber Physical Systems Education provides a nice overview of the issues in this domain and highlights several possible approaches. Many are grounded in research on programming languages and could directly find use/application in logic programming.
First Workshop on Cyber-Physical Systems Education (CPS-Ed 2013)
Philadelphia, PA
Proceedings