“…Logic Programming Conference Tokyo, Japan…”