CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2003-01-10 09:50:37

Modified files: . : NEWS interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/Ciao: Makefile.am ppl_ciao.pl interfaces/Prolog/GNU: Makefile.am ppl_gprolog.pl interfaces/Prolog/SICStus: Makefile.am ppl_sicstus_sd.cc interfaces/Prolog/SWI: Makefile.am ppl_swiprolog.cc interfaces/Prolog/XSB: Makefile.am ppl_xsb.H ppl_xsb.cc interfaces/Prolog/YAP: Makefile.am ppl_yap.cc src : Init.cc

Log message: Timeout computation facilities have been added to the Prolog interfaces: new predicates ppl_set_timeout_exception_atom/1, ppl_timeout_exception_atom/1, ppl_set_timeout/1, ppl_reset_timeout/0.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefil... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_cia... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Make... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swip... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&a...