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