From: David W. <wa...@cs...> - 2010-09-27 13:34:35
|
Paulo, Thanks for fixing those bugs in XSB! Sorry we didn't get to them first, and left them for you. We really appreciate your efforts, especially with everything you're working on these days. Best regards, -David > -----Original Message----- > From: Paulo Moura [mailto:pm...@us...] > Sent: Sunday, September 26, 2010 4:18 PM > To: ko...@cs...; Terrance Swift; David Warren; xsb- > co...@li... > Subject: CVS: XSB/syslib std_xsb.P,1.123,1.124 curr_sym.P,1.62,1.63 > > Update of /cvsroot/xsb/XSB/syslib > In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs- > serv6387/XSB/syslib > > Modified Files: > std_xsb.P curr_sym.P > Log Message: > Second step for implementing de facto standard meta_predicate/1 > predicate properties. > > Index: std_xsb.P > =================================================================== > RCS file: /cvsroot/xsb/XSB/syslib/std_xsb.P,v > retrieving revision 1.123 > retrieving revision 1.124 > diff -u -r1.123 -r1.124 > --- std_xsb.P 26 Sep 2010 03:09:13 -0000 1.123 > +++ std_xsb.P 26 Sep 2010 20:18:17 -0000 1.124 > @@ -30,9 +30,12 @@ > % TLS: just did first pass at metapredicates. In addition, need to do > % bagofs, setofs and phrases. > > -/* PM: work in progress for implementing state-of-the art > meta_predicate/1 properties ;-) > +/* PM: work in progress for implementing state-of-the-art > meta_predicate/1 properties ;-) > not sure the list that follows is complete... > > +standard_metapredicate((0,0)). > +standard_metapredicate((0;0)). > +standard_metapredicate((0->0)). > standard_metapredicate(abolish(:)). > standard_metapredicate(abolish_table_call(:)). > standard_metapredicate(abolish_table_call(:,*)). > > Index: curr_sym.P > =================================================================== > RCS file: /cvsroot/xsb/XSB/syslib/curr_sym.P,v > retrieving revision 1.62 > retrieving revision 1.63 > diff -u -r1.62 -r1.63 > --- curr_sym.P 5 Sep 2010 18:51:52 -0000 1.62 > +++ curr_sym.P 26 Sep 2010 20:18:18 -0000 1.63 > @@ -559,7 +559,9 @@ > psc_properties(PSC, Property) :- > psc_name(PSC, Functor), % Finding the Functor and the Arity > psc_arity(PSC, Arity), % twice is silly, isn''t it? > - ( setof(Meta, standard_metapredicate(Functor, Arity, Meta), > Metas), > + ( %functor(Template, Functor, Arity), % PM: these two > lines will eventually > + %standard_metapredicate(Template) % PM: replace the > three lines that follows > + setof(Meta, standard_metapredicate(Functor, Arity, Meta), > Metas), > psc_meta_predicate_property_args(Metas, 1, Arity, Args), > Template =.. [Functor| Args], > Property = meta_predicate(Template) |