UK Conference on Logic Programming (4th 1992 London, England)