قاعده استنتاج - زبان‌های دیگر