<div dir="ltr">I'm sold on the value of strong typing. However, it makes integration with existing Prolog codebases problematic. It there support for optional typing that would allow Mercury to be used more fluidly with existing prolog?<div><br></div><div>Thanks,</div><div>- Stuart</div></div>