[Xsb-commits] CVS: XSB/syslib basics.xwam,1.24,1.25 consult.xwam,1.42,1.43 curr_sym.xwam,1.38,1.39 dcg.xwam,1.24,1.25 domain.xwam,1.17,1.18 error_handler.xwam,1.49,1.50 file_io.xwam,1.35,1.36 file_op.xwam,1.29,1.30 gensym.xwam,1.17,1.18 machine.H,1.76,1.77 machine.P,1.84,1.85 machine.xwam,1.48,1.49 num_vars.xwam,1.11,1.12 setof.xwam,1.20,1.21 shell.xwam,1.29,1.30 std_xsb.P,1.87,1.88 std_xsb.xwam,1.31,1.32 string.xwam,1.24,1.25 tables.xwam,1.25,1.26 unix.xwam,1.13,1.14 xsb_hook.xwam,1.15,1.16 xsb_read.xwam,1.18,1.19

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/syslib
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv10756

Modified Files:
	basics.xwam consult.xwam curr_sym.xwam dcg.xwam domain.xwam 
	error_handler.xwam file_io.xwam file_op.xwam gensym.xwam 
	machine.H machine.P machine.xwam num_vars.xwam setof.xwam 
	shell.xwam std_xsb.P std_xsb.xwam string.xwam tables.xwam 
	unix.xwam xsb_hook.xwam xsb_read.xwam 
Log Message:

Some simple changes to make unify_with_occurs_check a standard predicate.


Index: basics.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/basics.xwam,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -r1.24 -r1.25
Binary files /tmp/cvslMy49I and /tmp/cvsCAYrdH differ

Index: consult.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/consult.xwam,v
retrieving revision 1.42
retrieving revision 1.43
diff -u -r1.42 -r1.43
Binary files /tmp/cvsK28ucL and /tmp/cvsaHv6iJ differ

Index: curr_sym.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/curr_sym.xwam,v
retrieving revision 1.38
retrieving revision 1.39
diff -u -r1.38 -r1.39
Binary files /tmp/cvsKHwDnK and /tmp/cvsdYuLwI differ

Index: dcg.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/dcg.xwam,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -r1.24 -r1.25
Binary files /tmp/cvspxCKPN and /tmp/cvsPU7T0L differ

Index: domain.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/domain.xwam,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -r1.17 -r1.18
Binary files /tmp/cvsI7tKSM and /tmp/cvsnbBV5K differ

Index: error_handler.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/error_handler.xwam,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -r1.49 -r1.50
Binary files /tmp/cvsr9nasQ and /tmp/cvsQwErHO differ

Index: file_io.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/file_io.xwam,v
retrieving revision 1.35
retrieving revision 1.36
diff -u -r1.35 -r1.36
Binary files /tmp/cvsOTXgvP and /tmp/cvsxjxSMN differ

Index: file_op.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/file_op.xwam,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -r1.29 -r1.30
Binary files /tmp/cvsgDSFmT and /tmp/cvs4VCLGR differ

Index: gensym.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/gensym.xwam,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -r1.17 -r1.18
Binary files /tmp/cvshB9UBU and /tmp/cvsoD8eYS differ

Index: machine.H
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/machine.H,v
retrieving revision 1.76
retrieving revision 1.77
diff -u -r1.76 -r1.77
--- machine.H	27 Apr 2006 00:55:10 -0000	1.76
+++ machine.H	22 May 2006 20:52:49 -0000	1.77
@@ -131,6 +131,7 @@
 	oracle_query/7,
 	odbc_exec_query/6,
         parsort/4,
+   unify_with_occurs_check/2,
 	private_builtin/11,
 	segfault_handler/1,
 	is_charlist/2,

Index: machine.P
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/machine.P,v
retrieving revision 1.84
retrieving revision 1.85
diff -u -r1.84 -r1.85
--- machine.P	27 Apr 2006 00:55:09 -0000	1.84
+++ machine.P	22 May 2006 20:52:49 -0000	1.85
@@ -123,6 +123,9 @@
 parsort(_InList,_ParSpec,_ElimDupls,_OutList) :-
 	'_$builtin'(PARSORT).
 
+unify_with_occurs_check(_One,_Two):- 
+	'_$builtin'(UNIFY_WITH_OCCURS_CHECK).
+
 call0(Term) :- call0(Term).
 stat_sta(X) :- stat_sta(X).
 stat_cputime(X) :- stat_cputime(X).

Index: machine.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/machine.xwam,v
retrieving revision 1.48
retrieving revision 1.49
diff -u -r1.48 -r1.49
Binary files /tmp/cvs5MMJgW and /tmp/cvspBozJU differ

Index: num_vars.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/num_vars.xwam,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -r1.11 -r1.12
Binary files /tmp/cvsAFR2SZ and /tmp/cvsjBO7nY differ

Index: setof.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/setof.xwam,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -r1.20 -r1.21
Binary files /tmp/cvs5Gwni2 and /tmp/cvslwXuR0 differ

Index: shell.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/shell.xwam,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -r1.29 -r1.30
Binary files /tmp/cvsNQpOvz and /tmp/cvsKx9x7C differ

Index: std_xsb.P
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/std_xsb.P,v
retrieving revision 1.87
retrieving revision 1.88
diff -u -r1.87 -r1.88
--- std_xsb.P	30 Apr 2006 18:17:32 -0000	1.87
+++ std_xsb.P	22 May 2006 20:52:50 -0000	1.88
@@ -320,6 +320,7 @@
 standard_symbol(ttywrite, 1, standard).
 standard_symbol(ttywritenl, 1, standard).
 
+standard_symbol(unify_with_occurs_check, 2, machine).  % ISO
 standard_symbol(unix, 1, unix).	       	   % obsolete
 standard_symbol(unix, 2, unix).	       	   % obsolete
 standard_symbol(unload_package, 1, packaging).

Index: std_xsb.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/std_xsb.xwam,v
retrieving revision 1.31
retrieving revision 1.32
diff -u -r1.31 -r1.32
Binary files /tmp/cvs4xtwRG and /tmp/cvs7GiPFK differ

Index: string.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/string.xwam,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -r1.24 -r1.25
Binary files /tmp/cvsP6nTJN and /tmp/cvsExe6IR differ

Index: tables.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/tables.xwam,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -r1.25 -r1.26
Binary files /tmp/cvsCDTRCU and /tmp/cvsZEFLOY differ

Index: unix.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/unix.xwam,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -r1.13 -r1.14
Binary files /tmp/cvs756hT3 and /tmp/cvsFu8pf8 differ

Index: xsb_hook.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/xsb_hook.xwam,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -r1.15 -r1.16
Binary files /tmp/cvsVEHbh6 and /tmp/cvsoX4fHa differ

Index: xsb_read.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/xsb_read.xwam,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -r1.18 -r1.19
Binary files /tmp/cvsrvKtWb and /tmp/cvsueUNAg differ