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