Hi,
I wanted to know whether the support of WFSX is still available. Some help can still be found in old XSB documentation, however, the WFSX library seems to have been removed from current version of XSB. Is it available in another way ?
Best regards
Christophe
I had thought I had taken all references to WFSX out of the manual, but perhaps
not. In any case, WFSX is an extension of WFS to explicit negation. My
implementation was only a meta interpreter, but I've been meaning to integrate
it into XSB's compiler, so maybe I will when get some time.
Theresa