بیان-دانش-رویدادها

logic programming in Events Events knowledge representation expert systems theorem proving

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