Logic Programming for an Introductory Computer Science Course for High School Students
Timothy Yuen, Maritz Reyes, Yuanlin Zhang

TL;DR
This paper explores the use of logic programming as an effective paradigm for teaching introductory computer science to high school students, demonstrating its viability and how novices engage with core computing concepts.
Contribution
It presents empirical evidence supporting logic programming as a suitable and effective approach for introductory CS education at the high school level.
Findings
High school students successfully learn foundational computing concepts through LP
Novice students engage effectively with LP paradigms in introductory courses
LP is a viable paradigm choice for high school CS education
Abstract
This paper investigates how high school students approach computing through an introductory computer science course situated in the Logic Programming (LP) paradigm. This study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills, and presents a case for LP as a viable paradigm choice for introductory CS courses.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsTeaching and Learning Programming · Logic, Reasoning, and Knowledge · Logic, programming, and type systems
