[PPL-devel] ppl ./NEWS interfaces/Prolog/ppl_prolog.icc in ...
Roberto Bagnara
roberto at spartacus.cs.unipr.it
Fri Jan 10 09:50:37 CET 2003
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at 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.52&r2=1.53
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.77&r2=1.78
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefile.am.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.pl.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile.am.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Makefile.am.diff?cvsroot=ppl&r1=1.34&r2=1.35
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&r1=1.32&r2=1.33
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile.am.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile.am.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.H.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefile.am.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
More information about the PPL-devel
mailing list