Carol Small Guarded Default Databases: A Prototype Implementation. 121-134 1988 Prolog and Databases db/books/collections/gray88.html#Small88