Dear Michael,

I have added a flag to ciaopp in order to control whether infinite failure should be preserved or not. This way, the results obtained for the example you showed about slicing seem to be as expected.

I have added your example to CVS:Benchmarks/Slicing/slicing.pl

There is a checkout of the Benchmarks at /home/asapdemo. I send the dialogue with the ciaopp menu. As can be seen, you can run it on clip using the asapdemo user.

Please let us know if you have any questions.

Best regards,

German & The UPMers

---------------------------------------------------------- Ciao-Prolog 1.11 #262: Wed Oct 6 18:12:38 CEST 2004 ciaopp ?- customize_and_exec('/home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl').

(Press h for help)

Select Menu Level: [naive, expert] (naive) ? e Select Action Group: [analyze, check_assertions, optimize] (analyze) ? o Select Optimize: [none, spec, parallelize] (spec) ?

(Press h for help)

Select Abs Specialization: [off, mono, poly] (off) ? m Preserve Finite Failure: [off, on] (off) ? on Select Analysis Domain: [none, pd, pdb, def, gr, share, shareson, shfr, shfrson, shfrnv, son, aeq, depth, path, difflsign, fr, frdef, lsign, eterms, ptypes, svterms, terms] (pd) ? eterms Select Local Control: [off, orig, inst, det, det_la, depth, first_sol, first_sol_d, hom_emb, hom_emb_as, hom_emb_local_as, all_sol] (hom_emb_as) ? off Note: Current Saved Menu Configurations: [] Menu Configuration Name: (none) ? {Loading current module from /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl {loaded in 1440.0 msec.} } {Analyzing /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl {preprocessed for plai in 10.0 msec.} {analyzed by plai using eterms in 30.0 msec.} } {Transforming /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl } {Analyzing /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl {analyzed by seff in 0.0 msec.} {updated seff info in 0.0 msec.} } {Transforming /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl {transformed by simp in 10.0 msec.} } {written file /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing_eterms_codegen_seff_simp_co.pl}

yes ciaopp ?-