International Conference on Logic Programming (12th 1995 Kanagawa, Japan)