Prolog and Natural Language Semantics Robin Cooper, Ian Lewin and Alan W Black 1992-93