Logic programming languages that include this extension have the knowledge representation capabilities of a non-monotonic logic.
Логички програмски језици који садрже овај додатак имају репрезентације знања могућности не-монотоне логике.