술어 논리 - 다른 언어