PARLOG and ALICE : A Marriage of Convenience. - Melissa Lam; Steve Gregory (ICLP, 1987)