From: David S. W. <dw...@us...> - 2003-07-30 17:44:29
|
Update of /cvsroot/xsb/XSB/syslib In directory sc8-pr-cvs1:/tmp/cvs-serv23454/syslib Modified Files: machine.H machine.P machine.xwam Log Message: Added new builtin in machine: term_new_mod(+Mod,+Term,-TermInMod), which creates a term whose main functor symbol has the same name and arity as Term, but is in module Mod, and the arguments are the arguments of Term. The new functor symbol is assumed to be a predicate, and set to be imported from Mod, if it's not already loaded. We may want another parameter if we want to build function symbols, and not predicates, in the new module. Index: machine.H =================================================================== RCS file: /cvsroot/xsb/XSB/syslib/machine.H,v retrieving revision 1.53 retrieving revision 1.54 diff -u -r1.53 -r1.54 --- machine.H 1 Jul 2003 14:34:14 -0000 1.53 +++ machine.H 30 Jul 2003 17:44:22 -0000 1.54 @@ -40,6 +40,7 @@ psc_set_spy/2, psc_ep/2, psc_set_ep/2, + term_new_mod/3, term_psc/2, term_type/2, term_compare/3, Index: machine.P =================================================================== RCS file: /cvsroot/xsb/XSB/syslib/machine.P,v retrieving revision 1.61 retrieving revision 1.62 diff -u -r1.61 -r1.62 --- machine.P 1 Jul 2003 14:34:14 -0000 1.61 +++ machine.P 30 Jul 2003 17:44:23 -0000 1.62 @@ -63,6 +63,7 @@ psc_ep(PSC, Term) :- psc_ep(PSC, Term). psc_set_ep(PSC, Term) :- psc_set_ep(PSC, Term). +term_new_mod(Mod, Term, NewTerm) :- term_new_mod(Mod, Term, NewTerm). term_psc(Term, PSC) :- term_psc(Term, PSC). term_type(Term, Type) :- term_type(Term, Type). term_compare(Term1, Term2, Res) :- term_compare(Term1, Term2, Res). Index: machine.xwam =================================================================== RCS file: /cvsroot/xsb/XSB/syslib/machine.xwam,v retrieving revision 1.14 retrieving revision 1.15 diff -u -r1.14 -r1.15 Binary files /tmp/cvsWncmhE and /tmp/cvsesdEg8 differ |