Nп/п : 57 из 87
 От   : Mild Shock                          2:5075/128        01 сен 23 12:02:54
 К    : Markus Triska                                         01 сен 23 22:04:02
 Тема : Re: 50 Years of Prolog Nonsense
----------------------------------------------------------------------------------
                                                                                 
@MSGID:
<7199a778-7b65-4d5a-8cac-908ab6d415adn@googlegroups.com> 8f2cf536
@REPLY: <m2msy7gg8d.fsf@logic.at> 2c6b5998
@REPLYADDR Mild Shock <bursejan@gmail.com>
@REPLYTO 2:5075/128 Mild Shock
@CHRS: CP866 2
@RFC: 1 0
@RFC-References:
<db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com> <3cafa634-538b-40a3-a4a9-2f68abf240f5n@googlegroups.com>
<a9db6e9e-f0e8-49e0-9126-d14b9073ec58n@googlegroups.com> <m2sfn6kzuc.fsf@logic.at>
<781b5836-4c51-4a7e-a074-85fa4ab490fbn@googlegroups.com> <242e2f19-536c-48a5-b878-25a5203784dfn@googlegroups.com>
<e3e3ff06-25e4-402d-aee2-9b6cc7a55c44n@googlegroups.com> <c06d38ce-e0bc-41cf-a047-31329c129a18n@googlegroups.com>
<922650d6-1ca0-4cd1-8792-e5a5a9382dd7n@googlegroups.com> <9eddc0c6-1e9e-4d89-8486-1a7b6c74db7cn@googlegroups.com>
<db4884ea-268d-4d4b-9e1c-ee8e23d9633cn@googlegroups.com> <776d1dff-fdbc-4f98-ac73-c7b987e66339n@googlegroups.com>
<98ad3212-8093-488e-998d-ebe8e5204c2en@googlegroups.com> <fb646080-0f83-4ea0-b102-3a0cf6d0012fn@googlegroups.com>
<6c22406d-adb5-4116-8b4d-8c406959741an@googlegroups.com> <06e0236a-4538-4b76-8206-c3041372d741n@googlegroups.com>
<ba2c670e-c040-49df-b98e-2d130488eeecn@googlegroups.com> <m2msy7gg8d.fsf@logic.at>
@RFC-Message-ID:
<7199a778-7b65-4d5a-8cac-908ab6d415adn@googlegroups.com>
@TZUTC: -0700
@PID: G2/1.0
@TID: FIDOGATE-5.12-ge4e8b94
What can you demonstrate with your Scryer WASM?

Ok, I just see, I have nevertheless published my new Chinese
Remainder Theorem CLP(FD) solver, it even runs in a web page. 
As a Dogelog Player program its a little slower than the 0.5 secs 

in formerly Jekejeke Prolog,  but its still faster than the ordinary 
CLP(FD) in SWI-Prolog, which takes around 5 seconds. The web 
page with the new CLP(FD) takes around 3 seconds, 

you can try it here in JS FIiddle, it should also use Dogelog Player 1.1.1:

Example 71: Diophantine Modular
X = 216, Y = 52, Z = 217; 
X = 52, Y = 216, Z = 217; 
fail. 
% Zeit 3574 ms, GC 7 ms, Lips 1696084, Uhr 01.09.2023 20:56 true.
https://jsfiddle.net/Jean_Luc_Picard_2021/d2njehtp/3/

Woa! It still runs unchanged, the code from 12 Months ago.

Markus Triska schrieb am Donnerstag, 31. August 2023 um 21:25:51 UTC+2:
> Mostowski Collapse <burs...@gmail.com> writes: 

> > For Scryer Prolog the struggle is minutely documented: 
> > 
> > Compiling and running scryer as a WebAssembly binary? 
> > https://github.com/mthom/scryer-prolog/issues/615 

> Good news everyone: It`s now possible to compile Scryer Prolog to WASM, 
> the build instructions are here: 

https://github.com/mthom/scryer-prolog/pull/1966#issuecomment-1697974614 

> Enjoy! 

> All the best, 
> Markus 

> -- 
> comp.lang.prolog FAQ: http://www.logic.at/prolog/faq/ 
> The Power of Prolog: https://www.metalevel.at/prolog
--- G2/1.0
 * Origin: usenet.network (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441



   GoldED+ VK   │                                                 │   09:55:30    
                                                                                
В этой области больше нет сообщений.

Остаться здесь
Перейти к списку сообщений
Перейти к списку эх