XSB Src (SVN)-old

A bit of spaghetti effect -- need to support a different arity of a call .

Some define statements needed for the iter_sub_trie_lookup switch.

Fixed bug with WFS and call subsumption. Call subsumption uses the same routines for adding calls and answers.
Therefore if there is an answer p(X), an answer p(1) will not be added. This if fine if all answers are unconditional, but
not if the answers are conditional. For instance if there is an answer p(X) <- undefined, we still want to add an unconditional answer p(1).
This wasn't happening, so I put a switch in iter_sub_trie_lookup to do a variant check when adding answers but (of course) maintaining its subsumption
check for calls.

I found this case when working on call subsumption and incremental tabling, so there is an ifdef or two for incremental tabling, but it wont hurt anything, I hope.

Tests for changed behavior of answer addition for call subsumption (see next message for details.)

Fix to answer subsumption transformation to support attributed variables.

Minor (possible) performance enhancement to variant.

updated upload info

local readme 4 windows

updated files for creating windows binaries

Minor change to initial allocation of data structures. Better when not using interned structures.