CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2006-11-14 17:57:32
Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code
Log message: Corrected get_disjuncts code in the prolog interface. Added procedure in the prolog interface to call ascii_dump(). Added an extra test (a bounded interval in 1 dimension) to the prolog schematic tests.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in...