PAP'94: 2nd International Conference on the Practical Application of Prolog: Royal Society of Arts, London, UK, 26--29 April 1994