پروگرام‌نویسی پرولوگ و حل مسئله با محدودیت