XSB Src (SVN)-old

Minor efficiency improvement with tag checking.

Explicit initialization of no max memory set.

Fix bug in intersect_db (in rtl_intersect/3) and add comments.

Fixed buglet in update_views/4.

all tests working (including abd and map)

correct loading of .cpl files

manual for the updated PITA version

Eliminated recursion in xsb_eval (evaluating expressions is/2) by using an explicit stack. Now no bound on expression depth.

Change to doc of not_exists.

Small changes to Section 5.5 (Tabling for Termination)