[PPL-devel] ppl/interfaces/Prolog ppl_prolog.icc Ciao/ciao ...
Patricia Hill
hill at cs.unipr.it
Tue Oct 11 12:47:43 CEST 2005
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at cs.unipr.it 2005-10-11 12:47:43
Modified files:
interfaces/Prolog: ppl_prolog.icc
interfaces/Prolog/Ciao: ciao_pl_check.pl ppl_ciao.pl
interfaces/Prolog/GNU: ppl_gprolog.pl
interfaces/Prolog/SICStus: ppl_sicstus_sd.cc
interfaces/Prolog/SWI: ppl_swiprolog.cc
interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc xsb_pl_check.P
interfaces/Prolog/YAP: ppl_yap.cc
interfaces/Prolog/tests: pl_check.pl
Log message:
Modified the "with_token" widening and extrapolation predicates
to be "with_tokens" where each predicate has an extra argument
(ie there are two arguments for the token numbers).
All predicates require the number of available tokens as input in the
first token argument and unify the second of the token arguments with
the number of tokens available after the widening/extrapolation
operation.
pl_check.pl now tests the modified predicates and their possible
exceptions.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.162&r2=1.163
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl_check.pl.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.pl.diff?cvsroot=ppl&r1=1.81&r2=1.82
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&r1=1.53&r2=1.54
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&r1=1.79&r2=1.80
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&r1=1.103&r2=1.104
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.H.diff?cvsroot=ppl&r1=1.41&r2=1.42
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&r1=1.70&r2=1.71
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_check.P.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&r1=1.97&r2=1.98
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&r1=1.11&r2=1.12
More information about the PPL-devel
mailing list