محصولاتی که دارای عبارت 'منطق-محمولات-مرتبه¬ی-اول' هستند
برنامه نویسی منطقی بصورت یک زبان بیان اعلانی استفاده میشود و یک مدل ژنراتور بصورت حلگر مساله بکار میرود کار حل مساله بین برنامه نوبس (که تنها مسئول اثبات حقیقی بودن برنامهها به شکل منطقی است) و ثابتگر قضیه یا تولیدگر مدل (که مسئول حل مسائل بصورت موثر است) تقسیم میشود
دسته بندی محصولات