Prolog technology for default reasoning