<html> <head> <style></style></head> <body class='hmmessage'><div dir='ltr'><br>Tomas wrote:<br><div><span style="font-size: 12pt;">> Here is that example with Mercury declarations added.</span></div><div>...</div><div><br></div><div>Thank you so much for taking the time to respond to my query! That's exactly what I was looking for. </div><div><br></div><div>It would seem the 'solutions' module is key here. Unfortunately, it's not really mentioned in the tutorial and if I want to do some io off of unification results I would have have to import it.</div><div><br></div><div>Next thing I'm going to try to do is convert your example to use </div><div><br></div><div><div>:- type person ---> person(<span style="font-size: 12pt;">name :: string, </span><span style="font-size: 12pt;">age :: float</span><span style="font-size: 12pt;">).</span></div></div><div><br></div><div><br></div><div><br></div><div>Sandy</div> </div></body> </html>