Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Hoping to goodness is not theologically sound. - Peanuts


devel / comp.lang.prolog / Re: 50 Years of Prolog Nonsense

SubjectAuthor
* 50 Years of Prolog NonsenseMostowski Collapse
`* 50 Years of Prolog NonsenseMostowski Collapse
 +* 50 Years of Prolog NonsenseMostowski Collapse
 |`- 50 Years of Prolog NonsenseMostowski Collapse
 `* 50 Years of Prolog NonsenseMild Shock
  `* 50 Years of Prolog NonsenseMild Shock
   +* 50 Years of Prolog NonsenseMild Shock
   |`* 50 Years of Prolog NonsenseMild Shock
   | `* 50 Years of Prolog NonsenseMild Shock
   |  `- 50 Years of Prolog NonsenseMild Shock
   `- 50 Years of Prolog NonsenseMild Shock

1
Re: 50 Years of Prolog Nonsense

<u4ad9j$8n92$1@solani.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9991&group=comp.lang.prolog#9991

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: Re: 50 Years of Prolog Nonsense
Date: Sat, 20 May 2023 14:09:23 +0200
Message-ID: <u4ad9j$8n92$1@solani.org>
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com>
<b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com>
<5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com>
<1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 20 May 2023 12:09:23 -0000 (UTC)
Injection-Info: solani.org;
logging-data="285986"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.16
Cancel-Lock: sha1:9RqP+VaBkJnPkScdGtd5xJZ9Q1w=
X-User-ID: eJwNysERACEIBLCW7oBdsBwB6b8EfWYmUP4sN4KGwexcoEvxi7QAa0/Lc8nq4tZXK00oCIq2W+QcXaoF59G+TzoVRA==
In-Reply-To: <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
 by: Mostowski Collapse - Sat, 20 May 2023 12:09 UTC

Panic on the Titanic? This paper here
references s(CASP) and LLM:

Prolog: Past, Present, and Future
https://personal.utdallas.edu/~gupta/prolog-next-50-years.pdf

But when I lookup the reference, its
just some to appear thingy:

A. Rajasekharan, Y. Zeng, P. Padalkar, and G. Gupta.
Reliable Natural Language Understanding with Large
Language Models and Answer Set Programming. Preprint
arXiv:2302.03780; to appear in Proc. ICLP’23 (Tech. Comm.) 2023.
https://arxiv.org/abs/2302.03780

LoL

Well its never too late to jump on a
Bandwagon, even if some bones might crash.

Bye

Mostowski Collapse schrieb:
> What would make sense, is a ISO core standard working
> group, that would draft these stream creation properties:
>
> - bom(Bool)
> Specify detecting or writing a BOM.
> - encoding(Atom)
> Specify a file encoding.
>
> After all we have already 2022 and 50 years of Prolog. But
> can we be sure that Prolog texts are exchangeable, if
> they use Unicode code points?
>
> What if a UTF-16 file, handy for CJK, comes along?
>
> Mostowski Collapse schrieb am Freitag, 10. Juni 2022 um 14:54:07 UTC+2:
>> Its 2022 and Prolog is among the top 20
>>
>> TIOBE Index for June 2022
>> https://www.tiobe.com/tiobe-index/
>>
>> Woa!

Re: 50 Years of Prolog Nonsense

<8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9992&group=comp.lang.prolog#9992

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:5f94:0:b0:3ef:5c07:f789 with SMTP id j20-20020ac85f94000000b003ef5c07f789mr1452016qta.10.1684586790972;
Sat, 20 May 2023 05:46:30 -0700 (PDT)
X-Received: by 2002:a05:690c:705:b0:55d:e173:8a73 with SMTP id
bs5-20020a05690c070500b0055de1738a73mr3049468ywb.2.1684586790715; Sat, 20 May
2023 05:46:30 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 20 May 2023 05:46:30 -0700 (PDT)
In-Reply-To: <u4ad9j$8n92$1@solani.org>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 20 May 2023 12:46:30 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 85
 by: Mostowski Collapse - Sat, 20 May 2023 12:46 UTC

Knock, Knock, any idea whats going on via OpenAI?
Will computers communicate with each other via
Prolog Goals, Telescript Agents, SPARQL Queries?

What about "natural language" with tons of context
as the interfacing currency between Computers and
Humans, and between Computers and Computers?

Interesting paper here, with modes LM size goals:

"[...]
Although the second path is simpler and apparently
capable of earlier realization, it has been relatively neglected.
Fredkin's trie memory provides a promising paradigm.
We may in due course see a serious effort to develop
computer programs that can be connected together
like the words and phrases of speech to do whatever
computation or control is required at the moment. The
consideration that holds back such an effort, apparently,
is that the effort would produce nothing that, would be of
great value in the context of existing computers. It would
be unrewarding to develop the language before there are
any computing machines capable of responding meaningfully to it.
[...]
For real-time interaction on a truly symbiotic level, however,
a vocabulary of about 2000 words, e.g. 1000 words of
something like basic English and 1000 technical terms,
would probably be required. That constitutes a challenging
problem. In the consensus of acousticians and linguists,
construction of a recognizer of 2000 words cannot be
accomplished now. However, there are several organizations
that would happily undertake to develop and automatie recognizer
for such a vocabulary on a five-year basis.
[...]"

LICKLIDER, J. C. R. 1960. Man-computer symbiosis.
IRE Transactions on Human Factors in Electronics. HFE-1: 4-11, (March 1).
http://worrydream.com/refs/Licklider%20-%20Man-Computer%20Symbiosis.pdf

Mostowski Collapse schrieb am Samstag, 20. Mai 2023 um 14:09:26 UTC+2:
> Panic on the Titanic? This paper here
> references s(CASP) and LLM:
>
> Prolog: Past, Present, and Future
> https://personal.utdallas.edu/~gupta/prolog-next-50-years.pdf
>
> But when I lookup the reference, its
> just some to appear thingy:
>
> A. Rajasekharan, Y. Zeng, P. Padalkar, and G. Gupta.
> Reliable Natural Language Understanding with Large
> Language Models and Answer Set Programming. Preprint
> arXiv:2302.03780; to appear in Proc. ICLP’23 (Tech. Comm.) 2023.
> https://arxiv.org/abs/2302.03780
>
> LoL
>
> Well its never too late to jump on a
> Bandwagon, even if some bones might crash.
>
> Bye
>
> Mostowski Collapse schrieb:
> > What would make sense, is a ISO core standard working
> > group, that would draft these stream creation properties:
> >
> > - bom(Bool)
> > Specify detecting or writing a BOM.
> > - encoding(Atom)
> > Specify a file encoding.
> >
> > After all we have already 2022 and 50 years of Prolog. But
> > can we be sure that Prolog texts are exchangeable, if
> > they use Unicode code points?
> >
> > What if a UTF-16 file, handy for CJK, comes along?
> >
> > Mostowski Collapse schrieb am Freitag, 10. Juni 2022 um 14:54:07 UTC+2:
> >> Its 2022 and Prolog is among the top 20
> >>
> >> TIOBE Index for June 2022
> >> https://www.tiobe.com/tiobe-index/
> >>
> >> Woa!

Re: 50 Years of Prolog Nonsense

<4842b7ab-789d-4c89-a36c-df8a16c7cb05n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9993&group=comp.lang.prolog#9993

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:254d:b0:759:5ff7:aa52 with SMTP id s13-20020a05620a254d00b007595ff7aa52mr1506786qko.12.1684586933848;
Sat, 20 May 2023 05:48:53 -0700 (PDT)
X-Received: by 2002:a25:ac9d:0:b0:ba7:93ca:fd3a with SMTP id
x29-20020a25ac9d000000b00ba793cafd3amr2938890ybi.7.1684586933522; Sat, 20 May
2023 05:48:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!newsfeed.hasname.com!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 20 May 2023 05:48:53 -0700 (PDT)
In-Reply-To: <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org> <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4842b7ab-789d-4c89-a36c-df8a16c7cb05n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 20 May 2023 12:48:53 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5376
 by: Mostowski Collapse - Sat, 20 May 2023 12:48 UTC

Corr.: Typo

Interesting paper here, with modest LM size goals:

Mostowski Collapse schrieb am Samstag, 20. Mai 2023 um 14:46:32 UTC+2:
> Knock, Knock, any idea whats going on via OpenAI?
> Will computers communicate with each other via
> Prolog Goals, Telescript Agents, SPARQL Queries?
>
> What about "natural language" with tons of context
> as the interfacing currency between Computers and
> Humans, and between Computers and Computers?
>
> Interesting paper here, with modes LM size goals:
>
> "[...]
> Although the second path is simpler and apparently
> capable of earlier realization, it has been relatively neglected.
> Fredkin's trie memory provides a promising paradigm.
> We may in due course see a serious effort to develop
> computer programs that can be connected together
> like the words and phrases of speech to do whatever
> computation or control is required at the moment. The
> consideration that holds back such an effort, apparently,
> is that the effort would produce nothing that, would be of
> great value in the context of existing computers. It would
> be unrewarding to develop the language before there are
> any computing machines capable of responding meaningfully to it.
> [...]
> For real-time interaction on a truly symbiotic level, however,
> a vocabulary of about 2000 words, e.g. 1000 words of
> something like basic English and 1000 technical terms,
> would probably be required. That constitutes a challenging
> problem. In the consensus of acousticians and linguists,
> construction of a recognizer of 2000 words cannot be
> accomplished now. However, there are several organizations
> that would happily undertake to develop and automatie recognizer
> for such a vocabulary on a five-year basis.
> [...]"
>
> LICKLIDER, J. C. R. 1960. Man-computer symbiosis.
> IRE Transactions on Human Factors in Electronics. HFE-1: 4-11, (March 1).
> http://worrydream.com/refs/Licklider%20-%20Man-Computer%20Symbiosis.pdf
> Mostowski Collapse schrieb am Samstag, 20. Mai 2023 um 14:09:26 UTC+2:
> > Panic on the Titanic? This paper here
> > references s(CASP) and LLM:
> >
> > Prolog: Past, Present, and Future
> > https://personal.utdallas.edu/~gupta/prolog-next-50-years.pdf
> >
> > But when I lookup the reference, its
> > just some to appear thingy:
> >
> > A. Rajasekharan, Y. Zeng, P. Padalkar, and G. Gupta.
> > Reliable Natural Language Understanding with Large
> > Language Models and Answer Set Programming. Preprint
> > arXiv:2302.03780; to appear in Proc. ICLP’23 (Tech. Comm.) 2023..
> > https://arxiv.org/abs/2302.03780
> >
> > LoL
> >
> > Well its never too late to jump on a
> > Bandwagon, even if some bones might crash.
> >
> > Bye
> >
> > Mostowski Collapse schrieb:
> > > What would make sense, is a ISO core standard working
> > > group, that would draft these stream creation properties:
> > >
> > > - bom(Bool)
> > > Specify detecting or writing a BOM.
> > > - encoding(Atom)
> > > Specify a file encoding.
> > >
> > > After all we have already 2022 and 50 years of Prolog. But
> > > can we be sure that Prolog texts are exchangeable, if
> > > they use Unicode code points?
> > >
> > > What if a UTF-16 file, handy for CJK, comes along?
> > >
> > > Mostowski Collapse schrieb am Freitag, 10. Juni 2022 um 14:54:07 UTC+2:
> > >> Its 2022 and Prolog is among the top 20
> > >>
> > >> TIOBE Index for June 2022
> > >> https://www.tiobe.com/tiobe-index/
> > >>
> > >> Woa!

Re: 50 Years of Prolog Nonsense

<46640569-53b0-4790-b9cc-4accd5357fe8n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9994&group=comp.lang.prolog#9994

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:5a49:0:b0:3d5:49eb:4d1e with SMTP id o9-20020ac85a49000000b003d549eb4d1emr1783380qta.1.1684588606217;
Sat, 20 May 2023 06:16:46 -0700 (PDT)
X-Received: by 2002:a25:aaad:0:b0:ba8:93c3:331a with SMTP id
t42-20020a25aaad000000b00ba893c3331amr3054223ybi.5.1684588605895; Sat, 20 May
2023 06:16:45 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 20 May 2023 06:16:45 -0700 (PDT)
In-Reply-To: <4842b7ab-789d-4c89-a36c-df8a16c7cb05n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org> <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
<4842b7ab-789d-4c89-a36c-df8a16c7cb05n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <46640569-53b0-4790-b9cc-4accd5357fe8n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 20 May 2023 13:16:46 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5847
 by: Mostowski Collapse - Sat, 20 May 2023 13:16 UTC

ChatGPT uses something like a 50'000 or much larger
vocabulary, for more recent models. And has also mechanisms
to handle out-of-vocabulary (OOV) words.

Mostowski Collapse schrieb am Samstag, 20. Mai 2023 um 14:48:54 UTC+2:
> Corr.: Typo
>
> Interesting paper here, with modest LM size goals:
> Mostowski Collapse schrieb am Samstag, 20. Mai 2023 um 14:46:32 UTC+2:
> > Knock, Knock, any idea whats going on via OpenAI?
> > Will computers communicate with each other via
> > Prolog Goals, Telescript Agents, SPARQL Queries?
> >
> > What about "natural language" with tons of context
> > as the interfacing currency between Computers and
> > Humans, and between Computers and Computers?
> >
> > Interesting paper here, with modes LM size goals:
> >
> > "[...]
> > Although the second path is simpler and apparently
> > capable of earlier realization, it has been relatively neglected.
> > Fredkin's trie memory provides a promising paradigm.
> > We may in due course see a serious effort to develop
> > computer programs that can be connected together
> > like the words and phrases of speech to do whatever
> > computation or control is required at the moment. The
> > consideration that holds back such an effort, apparently,
> > is that the effort would produce nothing that, would be of
> > great value in the context of existing computers. It would
> > be unrewarding to develop the language before there are
> > any computing machines capable of responding meaningfully to it.
> > [...]
> > For real-time interaction on a truly symbiotic level, however,
> > a vocabulary of about 2000 words, e.g. 1000 words of
> > something like basic English and 1000 technical terms,
> > would probably be required. That constitutes a challenging
> > problem. In the consensus of acousticians and linguists,
> > construction of a recognizer of 2000 words cannot be
> > accomplished now. However, there are several organizations
> > that would happily undertake to develop and automatie recognizer
> > for such a vocabulary on a five-year basis.
> > [...]"
> >
> > LICKLIDER, J. C. R. 1960. Man-computer symbiosis.
> > IRE Transactions on Human Factors in Electronics. HFE-1: 4-11, (March 1).
> > http://worrydream.com/refs/Licklider%20-%20Man-Computer%20Symbiosis.pdf
> > Mostowski Collapse schrieb am Samstag, 20. Mai 2023 um 14:09:26 UTC+2:
> > > Panic on the Titanic? This paper here
> > > references s(CASP) and LLM:
> > >
> > > Prolog: Past, Present, and Future
> > > https://personal.utdallas.edu/~gupta/prolog-next-50-years.pdf
> > >
> > > But when I lookup the reference, its
> > > just some to appear thingy:
> > >
> > > A. Rajasekharan, Y. Zeng, P. Padalkar, and G. Gupta.
> > > Reliable Natural Language Understanding with Large
> > > Language Models and Answer Set Programming. Preprint
> > > arXiv:2302.03780; to appear in Proc. ICLP’23 (Tech. Comm.) 2023.
> > > https://arxiv.org/abs/2302.03780
> > >
> > > LoL
> > >
> > > Well its never too late to jump on a
> > > Bandwagon, even if some bones might crash.
> > >
> > > Bye
> > >
> > > Mostowski Collapse schrieb:
> > > > What would make sense, is a ISO core standard working
> > > > group, that would draft these stream creation properties:
> > > >
> > > > - bom(Bool)
> > > > Specify detecting or writing a BOM.
> > > > - encoding(Atom)
> > > > Specify a file encoding.
> > > >
> > > > After all we have already 2022 and 50 years of Prolog. But
> > > > can we be sure that Prolog texts are exchangeable, if
> > > > they use Unicode code points?
> > > >
> > > > What if a UTF-16 file, handy for CJK, comes along?
> > > >
> > > > Mostowski Collapse schrieb am Freitag, 10. Juni 2022 um 14:54:07 UTC+2:
> > > >> Its 2022 and Prolog is among the top 20
> > > >>
> > > >> TIOBE Index for June 2022
> > > >> https://www.tiobe.com/tiobe-index/
> > > >>
> > > >> Woa!

Re: 50 Years of Prolog Nonsense

<cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10007&group=comp.lang.prolog#10007

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:3d1:b0:3f6:ae6d:6c3d with SMTP id k17-20020a05622a03d100b003f6ae6d6c3dmr1238549qtx.12.1685188269059;
Sat, 27 May 2023 04:51:09 -0700 (PDT)
X-Received: by 2002:a81:b65d:0:b0:561:244d:c40 with SMTP id
h29-20020a81b65d000000b00561244d0c40mr2806247ywk.5.1685188268793; Sat, 27 May
2023 04:51:08 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!feeder.erje.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 27 May 2023 04:51:08 -0700 (PDT)
In-Reply-To: <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org> <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sat, 27 May 2023 11:51:09 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 6428
 by: Mild Shock - Sat, 27 May 2023 11:51 UTC

More Knock, Knock. I guess the future of the internet
is indeed a collection of books that talk to each other!
Who had this vision again, I don't remember.

Ok, let some AI intelligence, like ChatGPT, do the
low level plumbing. Interesting paper BTW:

"Supporting a web scale collection of potentially millions
of changing APIs requires rethinking our approach to how
we integrate tools. It is not longer possible to describe
the full set of APIs in a single context.

Many of the APIs will have overlapping functionality with
nuanced limitations and constraints. Simply evaluating
LLMs in this new setting requires new benchmarks.

In this paper, we explore the use of self-instruct fine-tuning
and retrieval to enable LLMs to accurately select from
a large, overlapping, and changing set tools expressed
using their APIs and API documentation.

We construct, APIBench, a large corpus of APIs with
complex and often overlapping functionality by scraping
ML APIs (models) from public model hubs."

Gorilla: Large Language Model Connected with Massive APIs
https://arxiv.org/pdf/2305.15334.pdf

Mostowski Collapse schrieb am Samstag, 20. Mai 2023 um 14:46:32 UTC+2:
> Knock, Knock, any idea whats going on via OpenAI?
> Will computers communicate with each other via
> Prolog Goals, Telescript Agents, SPARQL Queries?
>
> What about "natural language" with tons of context
> as the interfacing currency between Computers and
> Humans, and between Computers and Computers?
>
> Interesting paper here, with modes LM size goals:
>
> "[...]
> Although the second path is simpler and apparently
> capable of earlier realization, it has been relatively neglected.
> Fredkin's trie memory provides a promising paradigm.
> We may in due course see a serious effort to develop
> computer programs that can be connected together
> like the words and phrases of speech to do whatever
> computation or control is required at the moment. The
> consideration that holds back such an effort, apparently,
> is that the effort would produce nothing that, would be of
> great value in the context of existing computers. It would
> be unrewarding to develop the language before there are
> any computing machines capable of responding meaningfully to it.
> [...]
> For real-time interaction on a truly symbiotic level, however,
> a vocabulary of about 2000 words, e.g. 1000 words of
> something like basic English and 1000 technical terms,
> would probably be required. That constitutes a challenging
> problem. In the consensus of acousticians and linguists,
> construction of a recognizer of 2000 words cannot be
> accomplished now. However, there are several organizations
> that would happily undertake to develop and automatie recognizer
> for such a vocabulary on a five-year basis.
> [...]"
>
> LICKLIDER, J. C. R. 1960. Man-computer symbiosis.
> IRE Transactions on Human Factors in Electronics. HFE-1: 4-11, (March 1).
> http://worrydream.com/refs/Licklider%20-%20Man-Computer%20Symbiosis.pdf
> Mostowski Collapse schrieb am Samstag, 20. Mai 2023 um 14:09:26 UTC+2:
> > Panic on the Titanic? This paper here
> > references s(CASP) and LLM:
> >
> > Prolog: Past, Present, and Future
> > https://personal.utdallas.edu/~gupta/prolog-next-50-years.pdf
> >
> > But when I lookup the reference, its
> > just some to appear thingy:
> >
> > A. Rajasekharan, Y. Zeng, P. Padalkar, and G. Gupta.
> > Reliable Natural Language Understanding with Large
> > Language Models and Answer Set Programming. Preprint
> > arXiv:2302.03780; to appear in Proc. ICLP’23 (Tech. Comm.) 2023..
> > https://arxiv.org/abs/2302.03780
> >
> > LoL
> >
> > Well its never too late to jump on a
> > Bandwagon, even if some bones might crash.
> >
> > Bye
> >
> > Mostowski Collapse schrieb:
> > > What would make sense, is a ISO core standard working
> > > group, that would draft these stream creation properties:
> > >
> > > - bom(Bool)
> > > Specify detecting or writing a BOM.
> > > - encoding(Atom)
> > > Specify a file encoding.
> > >
> > > After all we have already 2022 and 50 years of Prolog. But
> > > can we be sure that Prolog texts are exchangeable, if
> > > they use Unicode code points?
> > >
> > > What if a UTF-16 file, handy for CJK, comes along?
> > >
> > > Mostowski Collapse schrieb am Freitag, 10. Juni 2022 um 14:54:07 UTC+2:
> > >> Its 2022 and Prolog is among the top 20
> > >>
> > >> TIOBE Index for June 2022
> > >> https://www.tiobe.com/tiobe-index/
> > >>
> > >> Woa!

Re: 50 Years of Prolog Nonsense

<38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10011&group=comp.lang.prolog#10011

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:414a:b0:75b:264e:a1c7 with SMTP id k10-20020a05620a414a00b0075b264ea1c7mr3214897qko.12.1685653833177;
Thu, 01 Jun 2023 14:10:33 -0700 (PDT)
X-Received: by 2002:a81:4519:0:b0:568:9e88:6aa4 with SMTP id
s25-20020a814519000000b005689e886aa4mr5794217ywa.6.1685653832758; Thu, 01 Jun
2023 14:10:32 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Thu, 1 Jun 2023 14:10:32 -0700 (PDT)
In-Reply-To: <cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org> <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
<cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mild Shock)
Injection-Date: Thu, 01 Jun 2023 21:10:33 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2326
 by: Mild Shock - Thu, 1 Jun 2023 21:10 UTC

June, 2023 Update: It might be the case, that ChatGPT has improved
in logic. Here it does even modal logic, and you can ask it to produce
proofs without LEM. ChatGPT does the following tasks:

Here’s how you can translate the proof into natural deduction:
Here’s an alternative proof that does not rely on LEM:
Here’s the translation of the proof into Fitch-style natural deduction:
Here’s the translation of the proof into Gentzen’s tree-style natural deduction:
Here’s the translation of the proof into sequent-style natural deduction:
https://chat.openai.com/share/79ae4f02-fd07-4786-800b-305bc9eed143

Re: 50 Years of Prolog Nonsense

<083a0dcc-b342-4381-a20d-e4dcb2e59425n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10012&group=comp.lang.prolog#10012

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:1494:b0:3f5:39a8:91d0 with SMTP id t20-20020a05622a149400b003f539a891d0mr3125075qtx.11.1685653909434;
Thu, 01 Jun 2023 14:11:49 -0700 (PDT)
X-Received: by 2002:a81:c14a:0:b0:557:616:7d63 with SMTP id
e10-20020a81c14a000000b0055706167d63mr1882578ywl.1.1685653909059; Thu, 01 Jun
2023 14:11:49 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Thu, 1 Jun 2023 14:11:48 -0700 (PDT)
In-Reply-To: <38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org> <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
<cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com> <38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <083a0dcc-b342-4381-a20d-e4dcb2e59425n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mild Shock)
Injection-Date: Thu, 01 Jun 2023 21:11:49 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3131
 by: Mild Shock - Thu, 1 Jun 2023 21:11 UTC

Today I had for some minutes a strong feeling
of obsolence, was even imagining that these could
be my last days where I write some "program code".

This happened after I saw ChatGPT doing logic.
Although was reading about "Low Code / No Code"
already for a while. So which profession gets hit first?

Profiles of the future : an inquiry into the limits of the possible
Arthur C. Clarke - 1962, Chapter 18: The Obsolence of Man
https://archive.org/details/profilesoffuture00clar/page/222/mode/2up

Arthur C. Clarke talks
A Space Odyssey and artificial intelligence, 1968
https://www.youtube.com/watch?v=zNJbUYD-pfo

Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:10:34 UTC+2:
> June, 2023 Update: It might be the case, that ChatGPT has improved
> in logic. Here it does even modal logic, and you can ask it to produce
> proofs without LEM. ChatGPT does the following tasks:
>
> Here’s how you can translate the proof into natural deduction:
> Here’s an alternative proof that does not rely on LEM:
> Here’s the translation of the proof into Fitch-style natural deduction:
> Here’s the translation of the proof into Gentzen’s tree-style natural deduction:
> Here’s the translation of the proof into sequent-style natural deduction:
> https://chat.openai.com/share/79ae4f02-fd07-4786-800b-305bc9eed143

Re: 50 Years of Prolog Nonsense

<90f2518a-65e4-4d58-8b11-c556978523b3n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10013&group=comp.lang.prolog#10013

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:a06:b0:626:15ab:787a with SMTP id dw6-20020a0562140a0600b0062615ab787amr1360643qvb.4.1685654267463;
Thu, 01 Jun 2023 14:17:47 -0700 (PDT)
X-Received: by 2002:a25:1843:0:b0:bad:99d:f086 with SMTP id
64-20020a251843000000b00bad099df086mr511771yby.10.1685654267185; Thu, 01 Jun
2023 14:17:47 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!newsfeed.hasname.com!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Thu, 1 Jun 2023 14:17:46 -0700 (PDT)
In-Reply-To: <083a0dcc-b342-4381-a20d-e4dcb2e59425n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org> <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
<cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com> <38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com>
<083a0dcc-b342-4381-a20d-e4dcb2e59425n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <90f2518a-65e4-4d58-8b11-c556978523b3n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mild Shock)
Injection-Date: Thu, 01 Jun 2023 21:17:47 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3772
 by: Mild Shock - Thu, 1 Jun 2023 21:17 UTC

Wao! I love coding so much, maybe should jump
into no-coding. How would I setup my computer
and have myself better skills, so that I would

do no-coding. Like the current project I am
wroking on. A ChatGPT AI would first need to
have a model/context of my current project.

And then maybe I could sit back, ask it:
Please do this for me, please do that for me.
Which would be on second thought quite swell!

Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:11:50 UTC+2:
> Today I had for some minutes a strong feeling
> of obsolence, was even imagining that these could
> be my last days where I write some "program code".
>
> This happened after I saw ChatGPT doing logic.
> Although was reading about "Low Code / No Code"
> already for a while. So which profession gets hit first?
>
> Profiles of the future : an inquiry into the limits of the possible
> Arthur C. Clarke - 1962, Chapter 18: The Obsolence of Man
> https://archive.org/details/profilesoffuture00clar/page/222/mode/2up
>
> Arthur C. Clarke talks
> A Space Odyssey and artificial intelligence, 1968
> https://www.youtube.com/watch?v=zNJbUYD-pfo
> Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:10:34 UTC+2:
> > June, 2023 Update: It might be the case, that ChatGPT has improved
> > in logic. Here it does even modal logic, and you can ask it to produce
> > proofs without LEM. ChatGPT does the following tasks:
> >
> > Here’s how you can translate the proof into natural deduction:
> > Here’s an alternative proof that does not rely on LEM:
> > Here’s the translation of the proof into Fitch-style natural deduction:
> > Here’s the translation of the proof into Gentzen’s tree-style natural deduction:
> > Here’s the translation of the proof into sequent-style natural deduction:
> > https://chat.openai.com/share/79ae4f02-fd07-4786-800b-305bc9eed143

Re: 50 Years of Prolog Nonsense

<500d2533-a110-4617-bb99-b20501a5ac37n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10015&group=comp.lang.prolog#10015

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ad4:48c2:0:b0:626:2366:e4c7 with SMTP id v2-20020ad448c2000000b006262366e4c7mr1433222qvx.11.1685691880430;
Fri, 02 Jun 2023 00:44:40 -0700 (PDT)
X-Received: by 2002:a81:b645:0:b0:559:e97a:cb21 with SMTP id
h5-20020a81b645000000b00559e97acb21mr6302970ywk.9.1685691880144; Fri, 02 Jun
2023 00:44:40 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 2 Jun 2023 00:44:39 -0700 (PDT)
In-Reply-To: <38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org> <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
<cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com> <38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <500d2533-a110-4617-bb99-b20501a5ac37n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mild Shock)
Injection-Date: Fri, 02 Jun 2023 07:44:40 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2876
 by: Mild Shock - Fri, 2 Jun 2023 07:44 UTC

The ChatGPT template above was not done by me. Credits
go to Joseph Vidal-Rosset. That conversations and thus interaction
specific context and mini learnt model extensions can be

shared via share links seems to be a new feature of ChatGPT.
I saw this feature appear only yesterday in ChatGPT.

See also:
https://help.openai.com/en/articles/7925741-chatgpt-shared-links-faq

Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:10:34 UTC+2:
> June, 2023 Update: It might be the case, that ChatGPT has improved
> in logic. Here it does even modal logic, and you can ask it to produce
> proofs without LEM. ChatGPT does the following tasks:
>
> Here’s how you can translate the proof into natural deduction:
> Here’s an alternative proof that does not rely on LEM:
> Here’s the translation of the proof into Fitch-style natural deduction:
> Here’s the translation of the proof into Gentzen’s tree-style natural deduction:
> Here’s the translation of the proof into sequent-style natural deduction:
> https://chat.openai.com/share/79ae4f02-fd07-4786-800b-305bc9eed143

Re: 50 Years of Prolog Nonsense

<a85fb0f3-beea-4ee1-bdc7-8ccabad4866fn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10016&group=comp.lang.prolog#10016

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:2a14:b0:75b:1f37:f279 with SMTP id o20-20020a05620a2a1400b0075b1f37f279mr4409639qkp.4.1685794805077;
Sat, 03 Jun 2023 05:20:05 -0700 (PDT)
X-Received: by 2002:a81:b283:0:b0:55d:6af3:1e2c with SMTP id
q125-20020a81b283000000b0055d6af31e2cmr1305818ywh.3.1685794804741; Sat, 03
Jun 2023 05:20:04 -0700 (PDT)
Path: i2pn2.org!i2pn.org!news.swapon.de!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 3 Jun 2023 05:20:04 -0700 (PDT)
In-Reply-To: <90f2518a-65e4-4d58-8b11-c556978523b3n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org> <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
<cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com> <38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com>
<083a0dcc-b342-4381-a20d-e4dcb2e59425n@googlegroups.com> <90f2518a-65e4-4d58-8b11-c556978523b3n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a85fb0f3-beea-4ee1-bdc7-8ccabad4866fn@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sat, 03 Jun 2023 12:20:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5536
 by: Mild Shock - Sat, 3 Jun 2023 12:20 UTC

So its just a matter of time, like months or weeks,
and we have ChatGPT integrated in IDEs at
our desktop, coding help at our fingertips:

"In line with our iterative deployment philosophy,
we are gradually rolling out plugins in ChatGPT
so we can study their real-world use, impact, and
safety and alignment challenges—all of which
we’ll have to get right in order to achieve our mission."
https://openai.com/blog/chatgpt-plugins

They are quite on mission. This will suplant GitHub
Copilot? Well doesn't matter GitHub Copilot uses
also OpenAI Codex. But in March 2023, OpenAI shut
down access to Codex, but I guess they didn't do

it for some moratorium, they have a better replacement:

"On March 23rd, we will discontinue support for the
Codex API. All customers will have to transition to a
different model. Codex was initially introduced as a
free limited beta in 2021, and has maintained

that status to date. Given the advancements of our
newest GPT-3.5 models for coding tasks, we will no
longer be supporting Codex and encourage all customers
to transition to GPT-3.5-Turbo.

About GPT-3.5-Turbo GPT-3.5-Turbo is the most
cost effective and performant model in the GPT-3.5
family. It can both do coding tasks while also being
complemented with flexible natural language capabilities."
https://news.ycombinator.com/item?id=35242069

Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:17:48 UTC+2:
> Wao! I love coding so much, maybe should jump
> into no-coding. How would I setup my computer
> and have myself better skills, so that I would
>
> do no-coding. Like the current project I am
> wroking on. A ChatGPT AI would first need to
> have a model/context of my current project.
>
> And then maybe I could sit back, ask it:
> Please do this for me, please do that for me.
> Which would be on second thought quite swell!
> Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:11:50 UTC+2:
> > Today I had for some minutes a strong feeling
> > of obsolence, was even imagining that these could
> > be my last days where I write some "program code".
> >
> > This happened after I saw ChatGPT doing logic.
> > Although was reading about "Low Code / No Code"
> > already for a while. So which profession gets hit first?
> >
> > Profiles of the future : an inquiry into the limits of the possible
> > Arthur C. Clarke - 1962, Chapter 18: The Obsolence of Man
> > https://archive.org/details/profilesoffuture00clar/page/222/mode/2up
> >
> > Arthur C. Clarke talks
> > A Space Odyssey and artificial intelligence, 1968
> > https://www.youtube.com/watch?v=zNJbUYD-pfo
> > Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:10:34 UTC+2:
> > > June, 2023 Update: It might be the case, that ChatGPT has improved
> > > in logic. Here it does even modal logic, and you can ask it to produce
> > > proofs without LEM. ChatGPT does the following tasks:
> > >
> > > Here’s how you can translate the proof into natural deduction:
> > > Here’s an alternative proof that does not rely on LEM:
> > > Here’s the translation of the proof into Fitch-style natural deduction:
> > > Here’s the translation of the proof into Gentzen’s tree-style natural deduction:
> > > Here’s the translation of the proof into sequent-style natural deduction:
> > > https://chat.openai.com/share/79ae4f02-fd07-4786-800b-305bc9eed143

Re: 50 Years of Prolog Nonsense

<0ac7c1d6-62e0-466a-9102-5bf6415466e0n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10017&group=comp.lang.prolog#10017

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:190b:b0:61a:23ac:b0d5 with SMTP id er11-20020a056214190b00b0061a23acb0d5mr183186qvb.7.1685808645430;
Sat, 03 Jun 2023 09:10:45 -0700 (PDT)
X-Received: by 2002:a81:b504:0:b0:565:cfdf:7a70 with SMTP id
t4-20020a81b504000000b00565cfdf7a70mr1768833ywh.2.1685808645128; Sat, 03 Jun
2023 09:10:45 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 3 Jun 2023 09:10:44 -0700 (PDT)
In-Reply-To: <a85fb0f3-beea-4ee1-bdc7-8ccabad4866fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<c94e6149-d42c-481c-ace9-d81108d6f786n@googlegroups.com> <b852be37-8238-4ef0-9c96-3381c7f92487n@googlegroups.com>
<f0d280e5-5b2d-4170-aaad-39e1bd109939n@googlegroups.com> <5b00dab0-832f-4fbe-b319-3d459d856e53n@googlegroups.com>
<d5981258-7636-4545-9835-b428d67d4326n@googlegroups.com> <1acaa5f3-171d-4417-bd41-32a9578db900n@googlegroups.com>
<u4ad9j$8n92$1@solani.org> <8e62ca61-05cc-4097-a80e-b56e1b31e71bn@googlegroups.com>
<cd5211bc-e0c4-4abe-8deb-ad02f0b7feb0n@googlegroups.com> <38ae3798-672c-4da3-a2fe-45e294ecf565n@googlegroups.com>
<083a0dcc-b342-4381-a20d-e4dcb2e59425n@googlegroups.com> <90f2518a-65e4-4d58-8b11-c556978523b3n@googlegroups.com>
<a85fb0f3-beea-4ee1-bdc7-8ccabad4866fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0ac7c1d6-62e0-466a-9102-5bf6415466e0n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sat, 03 Jun 2023 16:10:45 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3799
 by: Mild Shock - Sat, 3 Jun 2023 16:10 UTC

Interestingly there are supposedly ChatGPT
plugins with real-time information integration.
A browser ChatGPT plugin for example:

Unleashing the Power of AI Conversations
https://www.youtube.com/watch?v=L2RW4qx-45Q

Mild Shock schrieb am Samstag, 3. Juni 2023 um 14:20:06 UTC+2:
> So its just a matter of time, like months or weeks,
> and we have ChatGPT integrated in IDEs at
> our desktop, coding help at our fingertips:
>
> "In line with our iterative deployment philosophy,
> we are gradually rolling out plugins in ChatGPT
> so we can study their real-world use, impact, and
> safety and alignment challenges—all of which
> we’ll have to get right in order to achieve our mission."
> https://openai.com/blog/chatgpt-plugins
>
> They are quite on mission. This will suplant GitHub
> Copilot? Well doesn't matter GitHub Copilot uses
> also OpenAI Codex. But in March 2023, OpenAI shut
> down access to Codex, but I guess they didn't do
>
> it for some moratorium, they have a better replacement:
>
> "On March 23rd, we will discontinue support for the
> Codex API. All customers will have to transition to a
> different model. Codex was initially introduced as a
> free limited beta in 2021, and has maintained
>
> that status to date. Given the advancements of our
> newest GPT-3.5 models for coding tasks, we will no
> longer be supporting Codex and encourage all customers
> to transition to GPT-3.5-Turbo.
>
> About GPT-3.5-Turbo GPT-3.5-Turbo is the most
> cost effective and performant model in the GPT-3.5
> family. It can both do coding tasks while also being
> complemented with flexible natural language capabilities."
> https://news.ycombinator.com/item?id=35242069
> Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:17:48 UTC+2:


devel / comp.lang.prolog / Re: 50 Years of Prolog Nonsense

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor