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