  In this paper we continue the work on our extension of Answer Set Programming
by non-Herbrand functions and add to the language support for arithmetic
expressions and various inequality relations over non-Herbrand functions, as
well as consistency-restoring rules from CR-Prolog. We demonstrate the use of
this latest version of the language in the representation of important kinds of
knowledge.
