Email Record: Proceedings, 1987 Symposium on Logic Programming :