برنامه‌نویسی مبتنی بر قواعد و استنتاج