برمجة منطقية, دلالات, ذكاء اصطناعي, علم الحاسوب

دلالات النموذج المستقر (Stable Model Semantics)