<div dir="ltr"><div>Hello, <br></div><div><br></div><div>I am playing with he thought to rewrite some predicates in swi-prolog in Mercury. This could allow me to work in a piece by piece manner, as I explore and learn more about Mercury.<br></div><div><br></div><div>Are there examples out there that show how this could be best done?</div><div><br></div><div>I guess, it would require exporting to C and then, somehow, wrapping that C into an  external swi predicate ...</div><div><br></div><div>thanks,</div><div><br></div><div>Daniel<br></div></div>