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

Groups > comp.lang.prolog > #14589

ISO is loosing it because it gives in to Teachers (Was: Teachers have better quality than Nerds)

Show all headers | View raw

Hi,

ISO is loosing it because it gives in to Teachers.
GUPU from Ulrich Neumerkel is also a Teaching project.
Notebooks can be also viewed as a Teaching project.

Still there were once rumors that Prolog was used
in Industry. But this was long long ago, and these
roots are possibly totally gone.

I don't believe anybody is using CLP or s(CASP).
Or CLP(Z) from Scryer Prolog. Also the USA
compiler builders are total cluless about logic,

and USA is dominant when it comes to compiler
builder. Take the dissertation of

Combining Analyses, Combining Optimizations
Clifford Noel Click, Jr. -  February, 1995

He does't know a bit how conditional constant
propagation relates to logic.

Bye

P.S.: Compiler builders never had a formal education
in mathematical logic. Not enough time. They
were always busy in guzzling in machine code

operations, building highly sophisticated tables
that describe the machine code operations and
building simlarly highly sophisticated backends,

that are sniffing these tables. You don't find
such People in Prolog anymore. Somebody that
knows aassembly, just like Linus Torwald started...

Mild Shock schrieb:
> Hi,
> 
> Of course Teachers have better quality
> than Nerds when they formulate questions.
> Better reseacherd. But the goal of a teacher
> 
> is always orthodoxification. So ensentially
> SWI-Prolog discourse is abused as a wiki,
> with dozen of questions and answer harnessing
> 
> hundred of links. The food that teachers need.
> 
> Bye
> 
> P.S.: Its obvious what is killed in the process:
> - Get rid of silly WAM and ZIP!
> - Going towards web 2.0 with Prolog
> - The AU Boom and Prolog
> - What else...?
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Now SWI-Prolog has amassed 1/4 Million of
>> student notebooks, the SWI-Prolog discourse
>> has become a cest pool of stupid teachers
>>
>> asking stupid questions. Development and
>> innovation in Prolog has totally stalled.
>> All Prolog systems are based on completely
>>
>> silly WAM or ZIP, and cannot run this trivial
>> constant caching test case in linear time:
>>
>> data(1,[0,1,2,3,4,5,6,7,8,9]).
>> data(2,[0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9]).
>> data(3,[0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9]).
>>
>> test(N) :- between(1,1000000,_), data(N, _), fail; true.
>>
>> Here some results:
>>
>> /* Trealla Prolog 2.74.10 */
>>
>> ?- between(1,3,N), time(test(N)), fail; true.
>> % Time elapsed 0.236s, 3000004 Inferences, 12.692 MLips
>> % Time elapsed 0.318s, 3000004 Inferences, 9.429 MLips
>> % Time elapsed 0.371s, 3000004 Inferences, 8.095 MLips
>>
>> /* Scryer Prolog 0.9.4-411 */
>>
>> ?- between(1,3,N), time(test(N)), fail; true.
>>     % CPU time: 0.793s, 7_000_100 inferences
>>     % CPU time: 1.150s, 7_000_100 inferences
>>     % CPU time: 1.481s, 7_000_100 inferences
>>
>> Guess what formerly Jekejeke Prolog and Dogelog
>> Player show? They are not based on WAM or ZIP.
>> Its rather DAM, Dogelog Abtract Machine.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Web 2.0 is all about incremental content!
>>>
>>>  > don’t think it could really do
>>>  > the “ghost text” effect.
>>>
>>> It wouldn’t do the ghost text, only assist
>>> it. There was a misunderstanding how “ghost
>>> texts” work. Maybe you were thinking, that
>>> the “ghost text” is part of the first response.
>>>
>>> But usually the “ghost text” is a second response:
>>>
>>>  > waiting for completion candidates to be suggested
>>>
>>> Well you don’t use it for your primary
>>> typing completion which is preferably fast.
>>> The first response might give context information,
>>> for the second request which provides a
>>> different type of completion.
>>>
>>> But the first response is not responsible
>>> for any timing towards the second request.
>>> That anyway happens in the client. And it
>>> doesn’t hurt if the first response is
>>> from a stupid channel.
>>>
>>> Web 2.0 is all about incremental content!
>>
> 

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

Thread

Prolog missed the Web 2.0 Bandwagon Mild Shock <janburse@fastmail.fm> - 2025-06-20 21:13 +0200
  IntelliJ just created Mellum, its open source (Was: Prolog missed the Web 2.0 Bandwagon) Mild Shock <janburse@fastmail.fm> - 2025-06-20 21:18 +0200
    Re: IntelliJ just created Mellum, its open source (Was: Prolog missed the Web 2.0 Bandwagon) Mild Shock <janburse@fastmail.fm> - 2025-06-20 21:41 +0200
      timers and tasks testing framework Node.js v20.0.0] (Was: IntelliJ just created Mellum, its open source) Mild Shock <janburse@fastmail.fm> - 2025-06-23 13:05 +0200
        The magical "async" keyword again [Node.js v20.0.0] (Was: timers and tasks testing framework [Node.js v20.0.0]) Mild Shock <janburse@fastmail.fm> - 2025-06-23 13:10 +0200
          OpenAPI Specification (OAS) goes full Monty [AsyncAPI] (Was: The magical "async" keyword again [Node.js v20.0.0]) Mild Shock <janburse@fastmail.fm> - 2025-06-24 08:16 +0200
          OpenAPI Specification (OAS) goes full Monty [AsyncAPI] (Was: The magical "async" keyword again [Node.js v20.0.0]) Mild Shock <janburse@fastmail.fm> - 2025-06-24 08:17 +0200
  constant caching test case / Prolog orthodoxification (Was: Prolog missed the Web 2.0 Bandwagon) Mild Shock <janburse@fastmail.fm> - 2025-06-24 01:06 +0200
    Teachers have better quality than Nerds (Was: constant caching test case / Prolog orthodoxification) Mild Shock <janburse@fastmail.fm> - 2025-06-24 01:12 +0200
      ISO is loosing it because it gives in to Teachers (Was: Teachers have better quality than Nerds) Mild Shock <janburse@fastmail.fm> - 2025-06-24 01:26 +0200
        Where APIs Meet AI: Building Tomorrow's Intelligent Ecosystems (Was: ISO is loosing it because it gives in to Teachers) Mild Shock <janburse@fastmail.fm> - 2025-06-24 08:24 +0200
  A library(pio) for the Web 2.0 (Was: Prolog missed the Web 2.0 Bandwagon) Mild Shock <janburse@fastmail.fm> - 2025-06-25 15:17 +0200
    Corr. (Was: A library(pio) for the Web 2.0) Mild Shock <janburse@fastmail.fm> - 2025-06-25 15:19 +0200

csiph-web