XSB allows the user to declare that the system should incrementally maintain particular tables. An incrementally maintained table is one that continually contains the correct answers in the presence of updates to underlying predicates on which the tabled predicate depends. If tables are thought of as database views, then this subsystem enables what is known in the database community as incremental view maintenance.