AI in practice : examples in POP-11 - Barrett, Rosalind