Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.prolog > #14892

Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum)

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.prolog
Subject Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum)
Date 2025-10-10 09:48 +0200
Message-ID <10cado9$q9c9$1@solani.org> (permalink)
References <fda96161124.070004@logic.at> <1055dp6$28nr1$1@solani.org> <1055dsp$28nr1$2@solani.org> <10c8mqj$p8ah$1@solani.org> <10cad15$q8r6$1@solani.org>

Show all headers | View raw


Hi,

BTW: Most Prolog Systems didn't solve it yet.
Unlike the Java solution with a state machine.
There are also solutions, especially for the terminal,

that use a timer. Like if a CR arrives, and inside
a certain time internal no LF arrives, then its
recognized as sole CR inducing a <NEWLINE>.

Sounds good, doesn't work well. What if a the
content gets piped to the stdin and has this
"abnormal" sole CR, from an old Mac file maybe,

or from an editor that produces old Mac file format?

Bye

P.S.: The Java solution is quite straight
forward from Java class LineNumberReader since
JDK 1.1. I have used the realization trick

for a while in Jekejeke Prolog, with compressing
the CR, CR LF and LF unto LF. And in Dogelog
Player I even don't compress it anymore,

which of course challenges the Prolog tokenizer.

Mild Shock schrieb:
> Hi,
> 
> How it started:
> 
> @jp-diegidio started obstructing my posts on
> SWI-Prolog discourse forum, where I proposed
> solutions to the new line problem, detailed
> the quirks of Python universal newline.
> 
> How its going:
> 
> EricGT morons and other ban me from the
> SWI-Prolog discourse forum on pretense of
> aggressive behaviour. Still SWI-Prolog is
> stuck with a brittle stream subsystem:
> 
> Random colorized code looks nice but isn’t helpful
> @jp-diegidio: with a sole CR at the end
> https://swi-prolog.discourse.group/t/random-colorized-code-looks-nice-
> but-isnt-helpful/9347
> 
> "a sole CR" is exactly the newline case
> that SWI-Prolog cannot handle well automatically.
> How do we call this, FAFO, Fuck Around and Find Out?
> 
> F around and Find Out
> https://www.youtube.com/watch?v=AOPZuXh-f5M
> 
> With morons on board like @jp-diegidio and
> EricGT things only slow down, and will not
> be fixed in due time.
> 
> Have Fun!
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> We are happy to announce:
>>
>> Go Fund Me for ISO Core Standard of Prolog
>> ===========================================
>>
>> "The power of Prolog—its elegant logic and unique
>> approach to problem-solving—should be accessible
>> to every curious mind, regardless of their
>> financial situation. Yet for many talented
>> students worldwide, the high cost of the
>> official ISO standard (approximately $220 USD)
>> creates a prohibitive barrier to a deep and
>> formal understanding of the language.
>>
>> This Go Fund Me seeks to shatter that barrier.
>> Your contribution will directly sponsor access
>> to the ISO Prolog standard for students who
>> cannot afford it, ensuring that the next
>> generation of programmers, AI researchers,
>> and logic enthusiasts can learn from the
>> definitive source.
>>
>> By investing in their education, you're
>> not just donating a document; you're fueling
>> innovation, diversifying the field, and
>> empowering the future pioneers of logic
>> programming. Let's ensure that a price tag
>> never stands in the way of a great idea."
>>
>> For more information contact us at:
>>
>> https://r.mtdv.me/giveaways/getisoprolog
>>
>> Bye
>>
>> P.S.: This Go Fund Me is not affiliated with
>> PEG 2.0 "The Prolog Education Group".
>>
>> Mild Shock schrieb:
>>> Dialect modules requires that you have a
>>> SuperProlog, that can manage different dialects.
>>> Currenty SuperPrologs are mostly ModulePrologs
>>> that just swap in additional predicate definitions,
>>>
>>> also allow overwriting their own predicate
>>> definitions locally, in favor of some dialect
>>> predicate definition. And so own etc etc, I don't
>>> know how successful this approach, it might
>>>
>>> then also require that set_prolog_flag/2 can work
>>> module locally, that you can do set_prolog_flag(
>>> double_quotes, chars) to have a Scryer, Trealla,
>>> etc. dialect, and set_prolog_flag(double_codes,
>>>
>>> string) to have some SWI dialect, or
>>> set_prolog_flag(double_codes, codes) to have
>>> some ISO defaults dialect. For example an ISO dialect
>>> might have this definition in their commons module:
>>>
>>> false :- fail.
>>>
>>> Since the Corrigendum 2 came rather later, so
>>> some Prolog might have missed it, or balantly ignore
>>> it. The Corrigendum 2 came 2012, but the ISO
>>> standard was from 1995. Thats a gap
>>>
>>> of almost 20 years. Quite amazing nonsense.
>>>
> 

Back to comp.lang.prolog | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

comp.lang.prolog Frequently Asked Questions Markus Triska <triska@logic.at> - 2024-11-16 05:58 +0000
  Amzi! Retirement: 2026 is only next year (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:11 +0200
    What does the "Red Tape" on Wayback Machine mean? (Was: Amzi! Retirement: 2026 is only next year) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:14 +0200
      Prolog can keep up with the AI Boom [Forget about CLAM] (Was: What does the "Red Tape" on Wayback Machine mean?) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:27 +0200
        The cult of CLAM / Clojure rewrite utility (Was: Prolog can keep up with the AI Boom [Forget about CLAM]) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:43 +0200
          Australian Longest Straight Road in Prolog (Was: Clojure hasn't gained momentum [Martin Odersky 2025 Talk]) Mild Shock <janburse@fastmail.fm> - 2025-07-14 16:11 +0200
            Can CLAM do bidrectional rounding? (Was: Australian Longest Straight Road in Prolog) Mild Shock <janburse@fastmail.fm> - 2025-07-14 16:15 +0200
              Pointed intervals to the rescue [Make CLAM great again] (Was: Can CLAM do bidrectional rounding?) Mild Shock <janburse@fastmail.fm> - 2025-07-15 01:26 +0200
                Corr. Re: Pointed intervals to the rescue [Make CLAM great again] (Was: Can CLAM do bidrectional rounding?) Mild Shock <janburse@fastmail.fm> - 2025-07-15 01:28 +0200
        Sleepy Joe SWI-Prolog still waiting for a PR (Was: Prolog can keep up with the AI Boom [Forget about CLAM]) Mild Shock <janburse@fastmail.fm> - 2025-11-12 01:26 +0100
          deep preprocessor =\= term_expansion and/or goal_expansion [SWI-Prolog dicts] Mild Shock <janburse@fastmail.fm> - 2025-11-12 02:18 +0100
  There is something like SuperPrologs ? [SWI, ECLiPSe, etc..] (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2025-07-15 13:24 +0200
    Is ISO itself not simply a dialect? (Was: There is something like SuperPrologs ? [SWI, ECLiPSe, etc..]) Mild Shock <janburse@fastmail.fm> - 2025-07-15 13:26 +0200
      Pet project Prolog-Omnibus I don't have any time (Was: Is ISO itself not simply a dialect?) Mild Shock <janburse@fastmail.fm> - 2025-07-15 13:31 +0200
      ANN: Go Fund Me for ISO Core Standard of Prolog (Re: Is ISO itself not simply a dialect?) Mild Shock <janburse@fastmail.fm> - 2025-10-09 18:10 +0200
        Fuck Around and Find Out : SWI-Prolog Forum [Newline FAFO] (Was: ANN: Go Fund Me for ISO Core Standard of Prolog) Mild Shock <janburse@fastmail.fm> - 2025-10-10 09:36 +0200
          Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum) Mild Shock <janburse@fastmail.fm> - 2025-10-10 09:48 +0200
            Moron @jp-diegidio clueless about Unicode (UAX#14) [Re: Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum) Mild Shock <janburse@fastmail.fm> - 2025-10-10 10:22 +0200
    ECliPSe Prolog not a SuperProlog (Was: There is something like SuperPrologs ? [SWI, ECLiPSe, etc..]) Mild Shock <janburse@fastmail.fm> - 2025-08-06 08:30 +0200

csiph-web