Contents of HAL
Introduction
Learning worked examples
Heuristics
Knowledge Representation
Learning Heuristics
To be written!