تلفیق برنامه‌نویسی تابعی و منطقی