>>487
それならPrologがもっと普及したはず