Prolog System running on JS/Bun ? (Was: Night Train to Lisbon)

Liste des GroupesRevenir à cl prolog 
Sujet : Prolog System running on JS/Bun ? (Was: Night Train to Lisbon)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 20. Nov 2024, 14:20:18
Autres entêtes
Message-ID : <vhknmh$n27k$1@solani.org>
References : 1 2 3 4 5
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.19
Hi,
Strange things happen in the Zig world:
Bun is a JavaScript runtime, package manager,
test runner and bundler built from scratch using
the Zig programming language. It was designed by
Jarred Sumner as a drop-in replacement for Node.js.
Bun uses WebKit's JavaScriptCore as the JavaScript
engine, unlike Node.js and Deno, which both use V8.
https://en.wikipedia.org/wiki/Bun_(software)
Should give a try via Dogelog Player for JavaScript.
Python/PyPy (2.288s)
Js/Node (1.595s)
C/clang -O0 (1.566s)
Go (1.528s)
Js/Bun (1.434s)
1 Billion nested loop iterations
https://benjdd.com/loops2/
The above is a micro benchmark, might not give an
indicative whether Bun will choke or not. Lets see.
Bye
Mild Shock schrieb:
Hi,
 what is wrong with rust and linux????
https://www.youtube.com/watch?v=T2OKdv4SPdQ
 Pure souls are getting purrified to become even purer.
 Bye
 P.S.: Zig moves to fast for the kernel?
https://ziglang.org/learn/overview/
 How about a new Prolog system written in Zip?
 Mild Shock schrieb:
Maybe Scryer Prolog is a failure, because Rust
is a failure. Building Scryer Prolog on my machine,
after a git pull of a small change, did just
>
take this much time:
>
$ time cargo build --release
[...]
real    6m52.663s
user    7m39.043s
sys     0m3.241s
>
What did Rust do? And this tabling test case,
2000 shuttle, hangs:
>
/* Scryer Prolog 0.9.4-107 */
?- use_module(library(tabling)).
    true.
?- [user].
:- table c/1.
c(X) :- c(Y), 0 =< Y, Y < 20000, X is -Y-1.
c(X) :- c(Y), -20000 < Y, Y =< 0, X is -Y+1.
c(0).
>
?- time(c(_)).
%%% hangs ? %%%
>
It is solved in a blink in SWI-Prolog:
>
/* SWI-Prolog 9.3.8 */
?- time(c(_)).
% 540,077 inferences, 0.047 CPU in 0.051 seconds (92% CPU, 11521643 Lips)
true .
>
The test case is from here:
>
https://github.com/JanWielemaker/tabling_benchmarks/tree/master
 

Date Sujet#  Auteur
20 Jul 24 * Scryer Prolog is dead now? (Was: A harsh wind is blowing into the face of Prolog now…)16Mild Shock
21 Jul 24 `* What about the Holy Grail? (Was: Scryer Prolog is dead now?)15Mild Shock
22 Jul 24  `* Is Rust the culprit? (Was: What about the Holy Grail?)14Mild Shock
22 Jul 24   +* Re: Is Rust the culprit? (Was: What about the Holy Grail?)2Mild Shock
22 Jul 24   i`- Re: Is Rust the culprit? (Was: What about the Holy Grail?)1Mild Shock
18 Oct 24   +* Night Train to Lisbon (Re: Is Rust the culprit?)2Mild Shock
20 Nov 24   i`- Prolog System running on JS/Bun ? (Was: Night Train to Lisbon)1Mild Shock
26 Oct 24   `* Highly bred Hackers: Wallowing in enlightenment (Was: Is Rust the culprit?)9Mild Shock
15 Nov 24    `* Good Bye Stack-Overflow (Was: Highly bred Hackers: Wallowing in enlightenment)8Mild Shock
15 Nov 24     +* Re: Good Bye Stack-Overflow (Was: Highly bred Hackers: Wallowing in enlightenment)3Mild Shock
15 Nov 24     i`* Re: Good Bye Stack-Overflow (Was: Highly bred Hackers: Wallowing in enlightenment)2Mild Shock
15 Nov 24     i `- Re: Good Bye Stack-Overflow (Was: Highly bred Hackers: Wallowing in enlightenment)1Mild Shock
15 Nov 24     `* they shoot themselves into the foot (Re: Good Bye Stack-Overflow)4Mild Shock
15 Nov 24      `* Re: they shoot themselves into the foot (Re: Good Bye Stack-Overflow)3Mild Shock
15 Nov 24       `* Re: they shoot themselves into the foot (Re: Good Bye Stack-Overflow)2Mild Shock
15 Nov 24        `- Re: they shoot themselves into the foot (Re: Good Bye Stack-Overflow)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal