<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace">Zoltan, you're throwing roses at it.</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">The <variable(s)> ^ <goal> syntax is undigested Prolog,</div><div class="gmail_default" style="font-family:monospace,monospace">but it's *wrong* Prolog in this "answer".</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">When ChatGPT came out, I was keen to try it, but for some unstated reason</div><div class="gmail_default" style="font-family:monospace,monospace">my attempts to create an account were all rejected.  After playing with</div><div class="gmail_default" style="font-family:monospace,monospace">a similar program that creates art, I'm less impressed.  The problem is</div><div class="gmail_default" style="font-family:monospace,monospace">that ChatGPT is not a knowledge based system, it's a *language* model.</div><div class="gmail_default" style="font-family:monospace,monospace">It doesn't answer your question, it models someone *talking* about your</div><div class="gmail_default" style="font-family:monospace,monospace">question.  Sometimes it models a raving ignoramus.</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">The best place to start looking for an answer about Mercury is the</div><div class="gmail_default" style="font-family:monospace,monospace">documentation.</div><div class="gmail_default" style="font-family:monospace,monospace"><quote></div><div class="gmail_default" style="font-family:monospace,monospace">some Vars Goal<br><br>    An existential quantification. Goal is a goal and Vars is a list whose elements are either variables or state variables (a single list may contain both). The case where there are state variables is described in State variables; here we discuss the case where they are all plain variables.<br><br>    Each existential quantification introduces a new scope. The variables in Vars are local to the goal Goal: for each variable named in Vars, any occurrences of variables with that name in Goal are considered to name a different variable than any variables with the same name that occur outside of the existential quantification.<br><br>    Operationally, existential quantification has no effect, so apart from its effect on variable scoping, ‘some Vars Goal’ is the same as ‘Goal’.<br><br>    Mercury’s rules for implicit quantification (see Implicit quantification) mean that variables are often implicitly existentially quantified. There is usually no need to write existential quantifiers explicitly.</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">all Vars Goal<br><br>    A universal quantification. Goal is a goal and Vars is a list of variables (they may not be state variables). This goal is an abbreviation for ‘not (some Vars not Goal)’.</div><div class="gmail_default" style="font-family:monospace,monospace"></quote></div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 24 Oct 2023 at 11:38, Zoltan Somogyi <<a href="mailto:zoltan.somogyi@runbox.com">zoltan.somogyi@runbox.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
On 2023-10-24 04:09 +11:00 AEDT, "Volker Wysk" <<a href="mailto:post@volker-wysk.de" target="_blank">post@volker-wysk.de</a>> wrote:<br>
> That Chat GPT answer doesn't make much sense to me. I've tried to compile<br>
> it, but it doesn't. I know the "^" operator only for field access<br>
> predicates. And so does the compiler, it seems.<br>
<br>
That ChatGPT answer is a pile of nonsense. No-one should try to<br>
understand it, because there is nothing there to understand.<br>
<br>
Zoltan.<br>
_______________________________________________<br>
users mailing list<br>
<a href="mailto:users@lists.mercurylang.org" target="_blank">users@lists.mercurylang.org</a><br>
<a href="https://lists.mercurylang.org/listinfo/users" rel="noreferrer" target="_blank">https://lists.mercurylang.org/listinfo/users</a><br>
</blockquote></div>