CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che...