0 alternative definitions
Is a high-level knowledge-representation framework that can be used to solve problems declaratively, based on abductive reasoning.
برمجة المنطق الاستقرائي
