Deutsch   English   Français   Italiano  
<ves6vs$i6cm$1@solani.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news.roellig-ltd.de!open-news-network.org!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: Night Train to Lisbon (Re: Is Rust the culprit?)
Date: Fri, 18 Oct 2024 01:35:24 +0200
Message-ID: <ves6vs$i6cm$1@solani.org>
References: <v32hjd$s3qh$1@solani.org> <v7g0du$475u$1@solani.org>
 <v7j9g9$643u$1@solani.org> <v7mem6$6uld$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 17 Oct 2024 23:35:24 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="596374"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.19
Cancel-Lock: sha1:G15ZE6FPopeOX02BB2EIJX1kHJQ=
In-Reply-To: <v7mem6$6uld$1@solani.org>
X-User-ID: eJwNyrkRADEIA8CWjkcClYM9Q/8lnJONFkHjrSSYWKwbFHMOK1bq25HM85nY8nHuN+XisnrqKbcQwl/NQNYPHhoThA==
Bytes: 2368
Lines: 52

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