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