[Xsb-commits] XSB/docs/userman manual1.pdf, 1.85, 1.86 manual2.pdf, 1.24, 1.25 rbltin.tex, 1.67, 1.68 table_builtins.tex, 1.58, 1.59

[David S. W. <dw...@us...>]

Update of /cvsroot/xsb/XSB/docs/userman
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv28865/docs/userman

Modified Files:
	manual1.pdf manual2.pdf rbltin.tex table_builtins.tex 
Log Message:
MANY Changes to implement hash-consing (or interning of ground structures).
Obviously, many major changes.
A couple of other bugs fixed (in particular 64-bit hashing issue.)


Index: manual1.pdf
===================================================================
RCS file: /cvsroot/xsb/XSB/docs/userman/manual1.pdf,v
retrieving revision 1.85
retrieving revision 1.86
diff -C2 -d -r1.85 -r1.86
Binary files /tmp/cvs75LBlz and /tmp/cvsyvO8gV differ

Index: table_builtins.tex
===================================================================
RCS file: /cvsroot/xsb/XSB/docs/userman/table_builtins.tex,v
retrieving revision 1.58
retrieving revision 1.59
diff -C2 -d -r1.58 -r1.59
*** table_builtins.tex	7 Feb 2013 23:11:08 -0000	1.58
--- table_builtins.tex	6 May 2013 21:10:23 -0000	1.59
***************
*** 188,191 ****
--- 188,194 ----
    predicate(s) to use call variance.
  %
+ \item {\tt intern} which causes all ground subterms of subgoals and 
+ answers entered into the table for the predicate(s) to be interned.
+ %
  \item {\tt incremental} which causes the table evaluation method of
    the predicate(s) to be incremental.
***************
*** 254,257 ****
--- 257,264 ----
    {\tt shared} or {\tt subgoal\_abstract/1} or {\tt
      answer\_abstract/1})
+ 
+ \item {\tt Options} contains {\tt intern} and ({\tt dynamic} or {\tt
+ subsumptive} or {\tt approximate} or {\tt incremental} or {\tt opaque}
+ or {\tt answer\_abstract} or {\tt subgoal\_abstract})
  %
  \item {\tt Options} contains both {\tt private} and {\tt shared}

Index: rbltin.tex
===================================================================
RCS file: /cvsroot/xsb/XSB/docs/userman/rbltin.tex,v
retrieving revision 1.67
retrieving revision 1.68
diff -C2 -d -r1.67 -r1.68
*** rbltin.tex	10 Oct 2012 19:02:38 -0000	1.67
--- rbltin.tex	6 May 2013 21:10:22 -0000	1.68
***************
*** 625,628 ****
--- 625,632 ----
  %
  \bi
+ \item{\tt intern} which causes every clause for this predicate, before 
+ being asserted, to force all its ground subterms to be interned into a 
+ global table.
+ %
  \item{\tt tabled} which causes the dynamic predicate to be tabled.
    The declaration/directive {\tt dynamic p/n as tabled} has the same
***************
*** 703,706 ****
--- 707,712 ----
  %
  \item {\tt Options} contains both {\tt incremental} and {\tt opaque}
+ \item {\tt Options} contains {\tt intern} and ({\tt dynamic} or {\tt
+ subsumptive} or {\tt incremental} or {\tt opaque})
  \ei
  

Index: manual2.pdf
===================================================================
RCS file: /cvsroot/xsb/XSB/docs/userman/manual2.pdf,v
retrieving revision 1.24
retrieving revision 1.25
diff -C2 -d -r1.24 -r1.25
Binary files /tmp/cvskouwzM and /tmp/cvsQvmlH8 differ