☰
↑
←
→
🔍
TOC
A Motivational Introduction
»
Table of Contents
ON THIS PAGE
The Code Correctness Problem
The Code Correctness Problem
The Code Correctness Problem
The Code Correctness Problem
Natural Language
Logic
Using Logic
Generating Squares: Building a Specification (I)
Generating Squares: Building a Specification (II)
Generating Squares: Building a Specification (III)
Generating Squares: Building a Specification (IV)
Alternative Use of Logic?
From Representation/Specification to Computation
Computing With Our Previous Problem Description (Specification)
But, before going any further... which Logic should we use?
Issues and tradeoffs
Comparison of Logics (I)
Comparison of Logics (II)
Generating squares by SLD-Resolution – Logic Programming (I)
Generating squares by SLD-Resolution – Logic Programming (II)
Generating Squares in a Practical Logic Programming System (I)
Generating Squares in a Practical Logic Programming System (II)
Applications (I)
Why (Constraint)Logic Programming and Prolog?
A (very brief) History of Logic Programming (I)
A (very brief) History of Logic Programming (II)
Table of Contents