
Declarative programming: facts and rules lesson for Cambridge International AS & A Level Computer Science (9618), with editable PowerPoint slides, a student worksheet and full answers. Declarative programming states facts and rules instead of steps; students write them in Prolog and see how a knowledge base is built.
Written for Paper 4 Practical, section 20 Further programming (syllabus 20.1.2 d). Everything is editable, so you can adapt it to your class.
What’s included- PowerPoint lesson (14 slides) with teacher notes on every slide
- Student worksheet (Word), ready to print or edit
- Answer sheet (Word) with mark-scheme style answers for every question
By the end of the lesson students can:
- Describe the declarative paradigm and how it differs from imperative programming
- Write facts from given information, with constants and variables used correctly
- Write rules that combine conditions with AND, and use NOT
Worksheet sections: A. Key words; B. Write facts; C. Write rules; D. Exam-style questions; E. Challenge
Every lesson includes- Learning goals and a starter question
- Clear explanations, diagrams and worked examples (Cambridge pseudocode, as in the 2027–2029 pseudocode guide, with Python alongside)
- A quick check and a “your turn” task linked to the worksheet
- Exam-style questions with marks, and an exit ticket
- PowerPoint (.pptx) and Word (.docx), fully editable
- Works in PowerPoint and Google Slides
- Calm, muted sixth-form design, consistent across the whole course
These are independent resources written for the Cambridge International AS & A Level Computer Science syllabus (9618) for examination in 2027, 2028 and 2029. They are not produced or endorsed by Cambridge University Press & Assessment. Syllabus point numbers are our own numbering of the syllabus statements.
More lessons in this series- Previous lesson: Containment and designing classes – A Level Computer Science 9618
- Next lesson: Declarative programming: goals – A Level Computer Science 9618
- Save with the bundle: Further programming – A Level Computer Science 9618 (11 lessons)
Last updated: November 2026.
Something went wrong, please try again later.
This resource hasn't been reviewed yet
To ensure quality for our reviews, only customers who have purchased this resource can review it
Report this resourceto let us know if it violates our terms and conditions.
Our customer service team will review your report and will be in touch.