[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