منطق مرتبه اول - زبان‌های دیگر