<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> <br />Nope - Prolog wins in this *one* situation (by not needing a special form) at the expense of general overall clunkiness ("X2 is X+1, p(X2)" instead of "p(X+1)") and context-specific semantics of where arguments are evaluated or quoted (which confuses beginners no end).</p><p>Picat tries to avoid Prolog's clunkiness with a more complex syntax that loses homoiconicity.</p><p>There probably is no "best" solution. (Or maybe homoiconicity isn't a panacea?)</p>
