Title: A Logic Programming Approach to Integrating Computing with Middle School Science Education (DRL-1901704)

Our central hypothesis is that principles and methodologies underlying Computing provide a natural and effective integration of the teaching and learning of Computing, STEM and disciplines beyond. In particular, Logic Programming (LP) paradigm including its modeling methodologies provides a way to seamlessly integrate Computing and STEM teaching and learning by developing computer models for STEM problems.

• LP provides a unified treatment of the fundamental skills in STEM and Computing thanks to Logic, a root of LP, which forms the basis for studying, learning and problem solving in all STEM disciplines (and beyond).
• The LP modeling methodology allows a natural and seamless connection of subject-matter concepts and reasoning to computer model development