From Newsgroup: comp.lang.prolog

Hi,

Breaking News from the French conference of
philisophy professors in education. They launched
the Local AI Emacs Mode initiative to bring

new technology to even most remote corners
of the earth, such as the Poor South, i.e.
Spain, Brasil, Argentinia, etc..

It consists of:

- **org.joe:** This is a numpy library that
can solve large band matrices via storing
them on floppy disk. One speaker of the
philosophy conference said, this is ideal
to demonstrate algorithms such as Stable
Diffusion, it might take a month though
to generate an image but it servers its
educatinal goals for Low-Resource teaching.

- **org.sleepy:** This is a sympy library that
can also do natural deduction. It uses
very natural communication means such as
E-mail. Its especially useful together with
org.joe, since it will notify the user when
to change a floppy disk via E-mail.

- SWI-Prolog integration of Local AI:
org.joe has a R binding, which has SWI-Prolog
binding, which has a Janus Python binding, which
has a JSON web server binding, etc.. etc.. And
org.sleepy can be controlled via their brand new
XPCE, the Emacs that runs in a Mac/Windows Window.
But most Low-Resource teachers and students will
not be able to use it, since they have only
an ASCII terminal console on a 32-bit Unix.

Bye

Mild Shock schrieb:

Concerning this boring nonsense:

https://book.simply-logical.space/src/text/2_part_ii/5.3.html#

Funny idea that anybody would be interested just now in
the year 2025 in things like teaching breadth first
search versus depth first search, or even be “mystified”
by such stuff. Its extremly trivial stuff:

Insert your favorite tree traversal pictures here.

Its even not artificial intelligence neither has anything
to do with mathematical logic, rather belongs to computer
science and discrete mathematics which you have in
1st year university

courses, making it moot to call it “simply logical”. It
reminds me of the idea of teaching how wax candles work
to dumb down students, when just light bulbs have been
invented. If this is the outcome

of the Prolog Education Group 2.0, then good night.

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

This is information provided by ChatGPT.
I asked whether there will be similar initiatives
like the MZ-80k back then in Japan, but for Local AI?

In Education the Local AI, locally on your device idea,
has probably not yet arrived. But there are AI initiatives:

- Countries with Active AI Integration or Guidance in Education:
Canada, USA, China, UAE, Australia, Some Europe, etc.. https://www.sourcesecurity.com/img/news/920/lithuania-s-ai-in-schools-nexos-ai-initiative-920x533.jpg
- People’s Republic of China (e.g., Hangzhou),
AI education from early age
China’s Hangzhou makes AI classes compulsory in schools
amid nationwide push. Local governments are beginning to
take action after Beijing said it wants all primary and
secondary students to study the advanced tech https://www.scmp.com/economy/china-economy/article/3323082/chinas-hangzhou-makes-ai-classes-compulsory-schools-amid-nationwide-push
- Estonia Announces A Groundbreaking National Initiative: AI Leap
Programme to Bring AI Tools to All Schools
Estonia, one of the world's most advanced digital societies,
announced today an ambitious nationwide artificial intelligence
education program called AI Leap 2025 (TI-Hüpe 2025 in Estonian).
The initiative, planned to be launched on 1 September 2025, will
provide students and teachers with free access to the world's
leading AI applications and the necessary skills to use them
effectively in learning, marking the next chapter in Estonia's
digital society journey. https://www.hm.ee/en/news/estonia-announces-groundbreaking-national-initiative-ai-leap-programme-bring-ai-tools-all

But there are chances the Local AI, locally on your device,
becomes even available for Low-Resource regions:

- Likely trends by 2026: AI-capable chips everywhere,
Cheaper edge AI hardware, Improved efficiency,
Education-specific variants, Local models catching up.
- In other words, by late 2026, the dream of a
“new MZ-80K era” — affordable, compact AI learning
machines for every classroom — could be technically
and economically feasible.

In Miniature you have already Local AI on your smartphones.

Bye

P.S.: Here is the chat:

mz-80k education initiative https://chatgpt.com/share/6914648d-e934-8013-9388-3bcf40f753a8

Mild Shock schrieb:

Hi,

Breaking News from the French conference of
philisophy professors in education. They launched
the Local AI Emacs Mode initiative to bring

new technology to even most remote corners
of the earth, such as the Poor South, i.e.
Spain, Brasil, Argentinia, etc..

It consists of:

- **org.joe:** This is a numpy library that
  can solve large band matrices via storing
  them on floppy disk. One speaker of the
  philosophy conference said, this is ideal
  to demonstrate algorithms such as Stable
  Diffusion, it might take a month though
  to generate an image but it servers its
  educatinal goals for Low-Resource teaching.

- **org.sleepy:** This is a sympy library that
  can also do natural deduction. It uses
  very natural communication means such as
  E-mail. Its especially useful together with
  org.joe, since it will notify the user when
  to change a floppy disk via E-mail.

- SWI-Prolog integration of Local AI:
  org.joe has a R binding, which has SWI-Prolog
  binding, which has a Janus Python binding, which
  has a JSON web server binding, etc.. etc.. And
  org.sleepy can be controlled via their brand new
  XPCE, the Emacs that runs in a Mac/Windows Window.
  But most Low-Resource teachers and students will
  not be able to use it, since they have only
  an ASCII terminal console on a 32-bit Unix.

Bye

Mild Shock schrieb:

Concerning this boring nonsense:

https://book.simply-logical.space/src/text/2_part_ii/5.3.html#

Funny idea that anybody would be interested just now in
the year 2025 in things like teaching breadth first
search versus depth first search, or even be “mystified”
by such stuff. Its extremly trivial stuff:

Insert your favorite tree traversal pictures here.

Its even not artificial intelligence neither has anything
to do with mathematical logic, rather belongs to computer
science and discrete mathematics which you have in
1st year university

courses, making it moot to call it “simply logical”. It
reminds me of the idea of teaching how wax candles work
to dumb down students, when just light bulbs have been
invented. If this is the outcome

of the Prolog Education Group 2.0, then good night.

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

Ha Ha, USA is shitting once again its pants:

New age of AI‑accelerated innovation and discovery
that can solve the most challenging problems of this century.
Executive Orders November 24, 2025
https://www.youtube.com/watch?v=FQ92hV1R4TA

Governement, acadamenia and standard bodies
are loosing it over Deep Pokets. They will
be the next savages in a land of humanoid

robots and techno lords. This is just the
after math of neo capitalism privatization
in and out. So most of the Deep Pokets are

even governement, academia fundeded. But the
humanoid robots will make the Deep Pokets
even more deeper.

Bye

P.S.: So whats the blind spot in this troubled
times. Mentifex gave a glimps:

// aLife() (artificial life) is the Robot AI Mind main loop.
function aLife() { // ATM 27oct2002; or your ID & date.
Security(); // For human control and operation of the AI.
Sensorium(); // Audition; other human-robot input senses.
Emotion(); // Quasi-physiological influence upon thought.
Think(); // Syntax and vocabulary of natural languages.
Volition(); // Contemplative selection of motor options.
Motorium(); // Robotic activation of motor initiatives.
if (life == true) { // If the AI has not met with misadventure,
fyi = "aLife: calling itself; t = "+t+"; rejuvenations ="+rjc;
Voice(); // Display the Voice:brain "For Your Information".
TID=window.setTimeout("aLife();",rsvp); // Call aLife again. }
// End of quasi-loop time-delay of rsvp-value milliseconds. }
// End of one pass through the aLife Mind that repeats itself. https://mind.sourceforge.net/Mind.html

Thats what business wants, this A-Life. And
20-30 years a ago it was a blooming research
field and you could toy around with genetic

programming on a commodore C64. Now genetic programming
is done in simulated 3D worlds, and Elon Optimus will
soon be employed as hotel personell in the UAV.

Mild Shock schrieb:

Concerning this boring nonsense:

https://book.simply-logical.space/src/text/2_part_ii/5.3.html#

Funny idea that anybody would be interested just now in
the year 2025 in things like teaching breadth first
search versus depth first search, or even be “mystified”
by such stuff. Its extremly trivial stuff:

Insert your favorite tree traversal pictures here.

Its even not artificial intelligence neither has anything
to do with mathematical logic, rather belongs to computer
science and discrete mathematics which you have in
1st year university

courses, making it moot to call it “simply logical”. It
reminds me of the idea of teaching how wax candles work
to dumb down students, when just light bulbs have been
invented. If this is the outcome

of the Prolog Education Group 2.0, then good night.

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

The WebPL shunting experiment still resonates. Dogelog
Players assumption is implicit shunting through
unification variable bind preferences, derived

from how unification is called. So I rearranged
the implementation of member/2 a little bit, and
now I get, a less invasive version, doesn't modify L:

/* Dogelog Player 2.1.5 Preview */

/* Not Invasive */
?- T = T, L = [X,Y,Z], member(T, L), write(L), nl, fail; true.
[_0, _1, _2]
[_0, _1, _2]
[_0, _1, _2]
true.

/* Not Invasive */
?- L = [X,Y,Z], T = T, member(T, L), write(L), nl, fail; true.
[_3, _4, _5]
[_3, _4, _5]
[_3, _4, _5]
true.

We can compare with SWI-Prolog:

/* SWI-Prolog 10.1.1 */
/* Invasive */
?- T = T, L = [X,Y,Z], member(T, L), write(L), nl, fail; true. [_13280,_13294,_13300]
[_13288,_13280,_13300]
[_13288,_13294,_13280]
true.

/* Not Invasive */
?- L = [X,Y,Z], T = T, member(T, L), write(L), nl, fail; true. [_18762,_18768,_18774]
[_18762,_18768,_18774]
[_18762,_18768,_18774]
true.

And the result for Scryer Prolog:

/* Scryer Prolog 0.10 */
/* Invasive */
?- T = T, L = [X,Y,Z], member(T, L), write(L), nl, fail; true.
[_112,_131,_138]
[_123,_112,_138]
[_123,_131,_112]
true.

/* Invasive */
?- L = [X,Y,Z], T = T, member(T, L), write(L), nl, fail; true.
[_117,_125,_133]
[_117,_120,_133]
[_117,_125,_120]
true.

Bye

Mild Shock schrieb:

Hi,

Here some test results when testing
Desktop and not the Web. With Desktop
Prolog versions I find:

/* SWI-Prolog 9.3.28 */
% 7,506,637 inferences, 0.578 CPU in 0.567 seconds

/* Dogelog Player 1.3.6 for Java (16.08.2025) */
% Zeit 803 ms, GC 0 ms, Lips 9367988, Uhr 17.08.2025 18:03

/* Scryer Prolog 0.9.4-592 */
% CPU time: 0.838s, 7_517_613 inferences

/* Trealla Prolog 2.82.12 */
% Time elapsed 2.315s, 11263917 Inferences, 4.866 MLips

Bye

Mild Shock schrieb:

Hi,

The paper by Shalin and Carlson from 1991
did not yet ring a bell. But it suggest testing
something with primes and freeze. Lets do

primes as suggested but without freeze. SWI-Prolog
seems not to the OG of GC. Putting aside Shalin
and Carlson, its an typical example of a lot of

intermediate results, that can be discarded by
a garbage collection. Every candidate number that
is not a prime number can be remove from the

trail they get unreachable in the first clause
of search/3. Besides this obvious unreachability
task, I don't have statistics or don't see immediately

where large variable instantiation chains are supposed
to be created. At least not in my Prolog system, since
a result variable is passed without binding it to a

local variable, this "shunting" happens independent
of neck tests and the "shunting" there. The result variable
passing is extremly simple to implement and could

be what is effective here besides the reachability thingy.
At least the 1 ms GC time in Dogelog Player show that
the reachability thingy is the minor effort or optimization

to get nice performance:


/* WebPL GC */
(1846.1ms)

/* Dogelog Player 1.3.6 for JavaScript (16.08.2025) */
% Zeit 2992 ms, GC 1 ms, Lips 2514202, Uhr 17.08.2025 17:44

/* SWI-Prolog WASM */
(4204.2ms)

/* Trealla Prolog WASM */
(23568.9ms)

The test code was:

test :-
    len(L, 1000),
    primes(L, _).

primes([], 1).
primes([J|L], J) :-
    primes(L, I),
    K is I+1,
    search(L, K, J).

search(L, I, J) :-
    mem(X, L),
    I mod X =:= 0, !,
    K is I+1,
    search(L, K, J).
search(_, I, I).

mem(X, [X|_]).
mem(X, [_|Y]) :-
    mem(X, Y).

len([], 0) :- !.
len([_|L], N) :-
    N > 0,
    M is N-1,
    len(L, M).

Bye

--- Synchronet 3.21b-Linux NewsLink 1.2