Email Record: 1985 Symposium on Logic Programming :