From: Terrance S. <ts...@us...> - 2003-12-16 00:05:40
|
Update of /cvsroot/xsb/XSB/packages/altCDF In directory sc8-pr-cvs1:/tmp/cvs-serv31896 Modified Files: cdf_io.P Log Message: Taking out auxiliary files for now. Index: cdf_io.P =================================================================== RCS file: /cvsroot/xsb/XSB/packages/altCDF/cdf_io.P,v retrieving revision 1.20 retrieving revision 1.21 diff -u -r1.20 -r1.21 --- cdf_io.P 16 Dec 2003 00:01:40 -0000 1.20 +++ cdf_io.P 16 Dec 2003 00:05:37 -0000 1.21 @@ -264,9 +264,10 @@ asserta((:-(Head,NewHead))), asserta((:-(NewHead,Body))), fail. -read_intensional_rules_2(auxiliary_cdf_rule(Comp,Head,Body),Name):- !, - asserta((:-(Head,Body))), - fail. +%read_intensional_rules_2(auxiliary_cdf_rule(Head,Body),Name):- !, +% auxiliary_cdf_rule(Name,Head,Body):- !, +% asserta((:-(Head,Body))), +% fail. read_intensional_rules_2(T,Name):- transform_intensional_rules(T,NewHead,Name), asserta((:-(T,NewHead))), |