☰
↑
←
→
🔍
TOC
A Motivational Introduction
»
Table of Contents
ON THIS PAGE
What the whole area is about
Slides 2–5 — The code correctness problem
Slide 6 — Natural language
Slide 7 — Logic
Slide 8 — Using logic
Building a specification
Slides 9–12 — Generating squares: building a specification
Peano numbers
Defining the naturals — and why the "et cetera" is the whole problem
Facts, rules, and the model
Less or equal
Squares, which need multiplication, which needs addition
And now the specification itself
Slide 13 — An alternative use of logic?
Slide 14 — From specification to computation: Green's dream
Slide 15 — Computing with our specification
What we have achieved
Which logic, and what it costs
Slides 16–17 — Which logic should we use, and the tradeoffs
Slides 18–19 — Comparison of logics
Slides 20–21 — Generating squares by SLD-resolution
The dream, delivered
Slides 22–23 — Generating squares in a practical system
Translating the logic into Prolog
Where Green's dream actually is, in this picture
Loading it
The demo
Exercises
Where it went
Slides 24–25 — Applications, and why (constraint) logic programming
Slides 26–27 — A very brief history
Table of Contents