Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.swapon.de!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.prolog
Subject: What WG17 could do to prevent segregation [DEC-10 Prolog (10 November
 1982)] (Was: Typo:: Do not give dogs what is holy)
Date: Mon, 23 Jun 2025 21:16:47 +0200
Message-ID: <103c96u$174ch$1@solani.org>
References: <vpceij$is1s$1@solani.org> <103c6l1$16brf$1@solani.org>
 <103c6vq$16c1m$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 23 Jun 2025 19:16:46 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1282449"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101
 Firefox/128.0 SeaMonkey/2.53.21
Cancel-Lock: sha1:LmAWsklkExNwU51r8G4uPDermd8=
X-User-ID: eJwFwYEBgDAIA7CXnKUFzkEG/59gQuio3UQZlxuZiNctr65zK+iGAuo2tOyQt/LUEjubhpkalCP9O0/qBz5vFTQ=
In-Reply-To: <103c6vq$16c1m$1@solani.org>

Hi,

What WG17 could do to prevent segregation.
It could specify:

- The back_quotes flag. Not really something
   new , most Prolog systems have it already.

- The [X] evaluable function. Not really something
   new , most Prolog systems have it already. For
   example DEC-10 Prolog (10 November 1982) had it
   already, The new thing for some Prolog systems
   would be its non-strict evaluation strategy
   and the dual use:

  [X] (a list of just one element) evaluates to X if X is an
  integer. Since a quoted string is just a list of integers,
  this allows a quoted character to be used in place of its
  ASCII code; e.g. "A" behaves within arithmetic expressions
  as the integer 65.

https://userweb.fct.unl.pt/~lmp/publications/online-papers/DECsystem-10%20PROLOG%20USER%27S%20MANUAL.pdf

Instead what is WG17 doing?

- Introducing a notation for open strings:

    [a, b, c|X] = "abc" || X

   With a new separator ||, giving possibly much more
   headache to Prolog system implementors than a flag
   and an evaluable function.

Bye

Mild Shock schrieb:
> Oops should read:
> 
> 0'0 =< [C], [C] =< 0'9, Digit is [C]-0'0`.
> 
> Mild Shock schrieb:
>> What is holy is only for Dogelog Player!
>>
>> Do not give dogs what is holy, and do not
>> throw your pearls before pigs, lest they
>> trample them underfoot and turn to attack you.
>> -- Matthew 7:6
>> https://www.biblegateway.com/passage/?search=Matthew%207%3A6
>>
>> I have deleted my posts and the swi2.pl.log proposal:
>>
>> between(C, 0'0, 0'9), Digit is C-0'0.`
>>
>> Just rewrite it to:
>>
>> 0'0 =< [Digit], [Digit] =< 0'9, [Digit] is C-0'0`.
>>
>> The [X] in an evaluation is dual use again:
>>
>> ?- X is [a].
>> X = 97.
>>
>> ?- X is [0'a].
>> X = 97.
>>
>>
>> Mild Shock schrieb:
>>>
>>> Inductive logic programming at 30
>>> https://arxiv.org/abs/2102.10556
>>>
>>> The paper contains not a single reference to autoencoders!
>>> Still they show this example:
>>>
>>> Fig. 1 ILP systems struggle with structured examples that
>>> exhibit observational noise. All three examples clearly
>>> spell the word "ILP", with some alterations: 3 noisy pixels,
>>> shifted and elongated letters. If we would be to learn a
>>> program that simply draws "ILP" in the middle of the picture,
>>> without noisy pixels and elongated letters, that would
>>> be a correct program.
>>>
>>> I guess ILP is 30 years behind the AI boom. An early autoencoder
>>> turned into transformer was already reported here (*):
>>>
>>> SERIAL ORDER, Michael I. Jordan - May 1986
>>> https://cseweb.ucsd.edu/~gary/PAPER-SUGGESTIONS/Jordan-TR-8604-OCRed.pdf
>>>
>>> Well ILP might have its merits, maybe we should not ask
>>> for a marriage of LLM and Prolog, but Autoencoders and ILP.
>>> But its tricky, I am still trying to decode the da Vinci code of
>>>
>>> things like stacked tensors, are they related to k-literal clauses?
>>> The paper I referenced is found in this excellent video:
>>>
>>> The Making of ChatGPT (35 Year History)
>>> https://www.youtube.com/watch?v=OFS90-FX6pg
>>>
>>
>