لا توجد تعريفات بديلة
نوع من البرمجة التصريحية لحل مشكلات البحث المعقدة.
Answer Set Programming (ASP)