Abductive Logic Programming (ALP)

برمجة منطقية استخلاصية

إطـار لحـل المشـكلات بطريقة تصريحية فيمـا يتعلق بتمثيل المعرفـة على مسـتوى أعلى.