Menu

Commit [r8415]  Maximize  Restore  History

A number of changes to support answer completion.

New bit in subgoal frame to flag answer_completed.
New builtin to set and get it from prolog.
Various points in C to set/reset it (esp. in simplification).
Calls in check_complete and tabletry to Prolog's answer_completion/2 pred.
Check and fail if delay would cause immediate direct recursion through
a ground subgoal in residual program.
Fixes a bug in simplification that didn't reset subg_answers right.
New bit added to trie_get_return so Prolog can get delay list returned.
And probably a few more minor things.

dwarren 2015-07-16

changed /trunk/XSB/emu/builtin.c
changed /trunk/XSB/emu/builtin.h
changed /trunk/XSB/emu/complete_local.h
changed /trunk/XSB/emu/complete_xsb_i.h
changed /trunk/XSB/emu/emudef.h
changed /trunk/XSB/emu/emuloop.c
changed /trunk/XSB/emu/init_xsb.c
changed /trunk/XSB/emu/psc_xsb.h
changed /trunk/XSB/emu/slgdelay.c
changed /trunk/XSB/emu/slginsts_xsb_i.h
changed /trunk/XSB/emu/tab_structs.h
changed /trunk/XSB/emu/tr_delay.h
changed /trunk/XSB/emu/tr_utils.c
changed /trunk/XSB/emu/tries.c
changed /trunk/XSB/emu/tries.h
/trunk/XSB/emu/builtin.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/builtin.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/complete_local.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/complete_xsb_i.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/emudef.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/emuloop.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/init_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/psc_xsb.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/slgdelay.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/slginsts_xsb_i.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tab_structs.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tr_delay.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tr_utils.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tries.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tries.h Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB