<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Try the solutions module.<div class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 18 May 2021, at 12:47, Philippe de Rochambeau <<a href="mailto:phiroc@free.fr" class="">phiroc@free.fr</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><br class=""></div><div class="">Hello,</div><div class="">what is the idiomatic way in Mercury to display all values that match the <i class="">friend</i> predicate?</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><div class=""><i class="">:- pred friend(string).</i></div><div class=""><i class="">:- mode friend(out).</i></div><div class=""><i class="">friend("Mark").</i></div><div class=""><i class="">friend("Jack").</i></div><div class=""><i class="">friend("Andrew »).</i></div></div><div class=""><i class=""><br class=""></i></div><div class=""><div class=""><i class="">main(!IO) :-</i></div><div class=""><i class=""> friend(Who),</i></div><div class=""><i class=""> lookup(Who, 1, Val),</i></div><div class=""><i class=""> io.write(Who, !IO).</i></div></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">I’ve tried using <i class="">lookup</i>, but it’s <i class="">Who</i> is not an array.</div><div class=""><br class=""></div><div class="">Many thanks.</div><div class=""><br class=""></div><div class="">Best regards,</div><div class=""><br class=""></div><div class="">Philippe</div><div class=""><br class=""></div><div class=""><br class=""></div></div>_______________________________________________<br class="">users mailing list<br class=""><a href="mailto:users@lists.mercurylang.org" class="">users@lists.mercurylang.org</a><br class="">https://lists.mercurylang.org/listinfo/users<br class=""></div></blockquote></div><br class=""></div></body></html>