Menu ▾ ▴

Commit [r651]  Maximize  Restore  History

Updated load_dyn to give warning when trying to load rules into a

trie.
Updated description of subsumes_chk to say it doesn't work for terms
with shared variables

warren 1999-04-21

Browse code at this revision

Parent: [r650]

Child: [r652]

changed /trunk/XSB/docs/userman/library.tex
changed /trunk/XSB/syslib/consult.O
changed /trunk/XSB/syslib/consult.P
/trunk/XSB/docs/userman/library.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/consult.O
Binary file was changed.
/trunk/XSB/syslib/consult.P Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB