The 1993 International Logic Programming Symposium