[PPL-devel] ppl/interfaces/Prolog Ciao/ciao_pl_check.pl GN ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2006-01-27 09:33:39

Modified files:
	interfaces/Prolog/Ciao: ciao_pl_check.pl 
	interfaces/Prolog/GNU: gnu_pl_check.pl 
	interfaces/Prolog/SICStus: sp_pl_check.pl 
	interfaces/Prolog/SWI: swi_pl_check.pl 
	interfaces/Prolog/XSB: xsb_pl_check.P 
	interfaces/Prolog/YAP: yap_pl_check.pl 
	interfaces/Prolog/tests: pl_check.pl 

Log message:
	In the system files,
	the definition of predicate prolog_system/1 modified to return
	name capitalised to match system file names.
	
	pl_check.pl:
	improved extra_noisy output for large numbers.
	now we print the expression used to generate
	the large number as well as the number itself.
	
	When calling prolog_system/1 use capitalised names.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl_check.pl.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_check.pl.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_pl_check.pl.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_check.pl.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_check.P.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_check.pl.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&r1=1.30&r2=1.31