“...International Conference on Logic Programming Kanagawa, Japonsko)...”