Theresa Swift

Issues with pushing and pulling XSB repo via git.

Thanks, Felix. I need to start updating PITA on XSB and this is a way to start. Both XSB and SWI support conditional compilation so we'll use your version as a basiss and add statements like: :- if(current_prolog_flag(dialect,swi)). tab(A/B,A/B1):- B1 is B + 2. :- elseif(current_prolog_flag(dialect,xsb)). erase(Term):- retract(Term). :- endif. Using statements like these, we'd have one mcintyre.pl that works for both XSB and SWI. I want to get Fabrizio in the loop to make sure he knows what we're...

Congratulations ! On Mon, Jul 17, 2023 at 9:23 PM David S. Warren dwarren@users.sourceforge.net wrote: OK. I found and have fixed the problem. A few more tests and then I'll commit the changes to sourceforge. I dumped the assembler code that gcc generates for the builtin.c file. I know little about x86_64 assembler code, but it seems that gcc generates code such that on entry to a function, it loops through all the pages for the frame that will contain local variables. For every page, it seems to...

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

Version 5.0 of XSB released

Changes to better support calling importing px from an arbitrary directory.

Now generating a script to set pythonpath and load_library_path.

Version 4.0 of XSB Released