[m-users.] Self-improvement subjects.

[Richard O'Keefe]

Zoltan, you're throwing roses at it.

The <variable(s)> ^ <goal> syntax is undigested Prolog,
but it's *wrong* Prolog in this "answer".

When ChatGPT came out, I was keen to try it, but for some unstated reason
my attempts to create an account were all rejected.  After playing with
a similar program that creates art, I'm less impressed.  The problem is
that ChatGPT is not a knowledge based system, it's a *language* model.
It doesn't answer your question, it models someone *talking* about your
question.  Sometimes it models a raving ignoramus.

The best place to start looking for an answer about Mercury is the
documentation.
<quote>
some Vars Goal

    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.

    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.

    Operationally, existential quantification has no effect, so apart from
its effect on variable scoping, ‘some Vars Goal’ is the same as ‘Goal’.

    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.

all Vars Goal

    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)’.
</quote>



On Tue, 24 Oct 2023 at 11:38, Zoltan Somogyi <zoltan.somogyi at runbox.com>
wrote:

>
> On 2023-10-24 04:09 +11:00 AEDT, "Volker Wysk" <post at volker-wysk.de>
> wrote:
> > That Chat GPT answer doesn't make much sense to me. I've tried to compile
> > it, but it doesn't. I know the "^" operator only for field access
> > predicates. And so does the compiler, it seems.
>
> That ChatGPT answer is a pile of nonsense. No-one should try to
> understand it, because there is nothing there to understand.
>
> Zoltan.
> _______________________________________________
> users mailing list
> users at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20231024/da4063d5/attachment.html>