برنامه‌نویسی منطقی
logic programming
programming technique
فن برنامه‌نویسی