Logic Programming (The 1997 International Symposium)