[PPL-devel] ppl/sicstus/segmentation violation

[Samir Genaim]

ppl_delete_Polyhedron/1 cause "segmentation violation" when using  
ppl_sicstus. For example, the following query results in segmentation  
violation:

?- ppl_initialize, A='$VAR'(0),  
B='$VAR'(1),ppl_new_NNC_Polyhedron_from_constraints([A>B,B>=A],X),ppl_delete_Polyhedron(X).


I am running SICStus "3.10.0 (x86-Linux-glibc2.2)" with ppl-0.8. Note that  
it works fine in other Prolog, e.g., Ciao. any idea what could be the  
problem ?

Thanks.

-- 
Samir