Introducing computer science to high school students through logic programming

Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


This paper investigates how high school students in an introductory computer science (CS) course approach computing in the logic programming (LP) paradigm. This qualitative study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills: students are engaged in a cyclical process of abstraction, reasoning, and creating representations of their ideas in code while also being informed by the (procedural) requirements and the revision/debugging process. As these computing concepts and skills are also expected in traditional approaches to introductory K-12 CS courses, this paper asserts that LP is a viable paradigm choice for high school novices.

Original languageEnglish
Pages (from-to)204-228
Number of pages25
JournalTheory and Practice of Logic Programming
Issue number2
StatePublished - Mar 1 2019


  • CS education
  • answer set programming
  • declarative programming
  • high school CS
  • logic programming


Dive into the research topics of 'Introducing computer science to high school students through logic programming'. Together they form a unique fingerprint.

Cite this