Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (<<The>> MIT Pr., 1996)