Come to Switzerland and you can buy a bar by yourself.
They even got chocolate at the end of the world, a less
know brand from around the corner of my domicile:

Stella Bernrain
https://www.swisschocolate.ch/

Richard Fateman schrieb am Dienstag, 4. Juli 2017 um 21:23:15 UTC+2:

Come to Berkeley and I'll buy you a bar.
https://tcho.com/

LoL

BTW: I am not sure whether I missed the 3 year deadline
of making my system faster. Actually its faster now, but
I didn't invest more time in the GB algorithm. :-( :-(

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

And I started a new project, essentially adding a new
competitor to my own old system. Its a child of the
browser wars and the observation that JavaScript

has pretty nice JIT-ing. But not yet there exploring
the JIT-ing to the extend that it could be done, but
its already a start. The approach is to explore ideas

not from the WAM (Warren Abstract Machine), but
from the ZIP (??), which is also the basis for SWI-Prolog.
I have baptised it the Albufeira compiler, because of

a paper presented in Albufeira Portugal:

A portable Prolog compiler
Conference: Logic Programming Workshop - Albufeira, Portugal
William Clocksin - January 1983 https://www.researchgate.net/publication/273888197

our take started here:

Dogelog Runtime, Prolog to the Moon https://qiita.com/j4n_bur53/items/17f86429745426bd14fd

Enjoy!

Mostowski Collapse schrieb am Freitag, 18. Juni 2021 um 15:20:33 UTC+2:

Come to Switzerland and you can buy a bar by yourself.
They even got chocolate at the end of the world, a less
know brand from around the corner of my domicile:

Stella Bernrain
https://www.swisschocolate.ch/

Richard Fateman schrieb am Dienstag, 4. Juli 2017 um 21:23:15 UTC+2:

Come to Berkeley and I'll buy you a bar.
https://tcho.com/

LoL

BTW: I am not sure whether I missed the 3 year deadline
of making my system faster. Actually its faster now, but
I didn't invest more time in the GB algorithm. :-( :-(

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Since (->)/2 inlining works, Dogelog is now old enough for its
own group. Dogelog got its own Facebook Group!

https://www.facebook.com/groups/dogelog

Mostowski Collapse schrieb:

a paper presented in Albufeira Portugal:

A portable Prolog compiler
Conference: Logic Programming Workshop - Albufeira, Portugal
William Clocksin - January 1983 https://www.researchgate.net/publication/273888197

our take started here:

Dogelog Runtime, Prolog to the Moon https://qiita.com/j4n_bur53/items/17f86429745426bd14fd

Enjoy!

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Some more progress. Dogelog got a Prolog dynamic
database. We can now run this example and more:

:- dynamic(memo/2).
fib(N, X) :- memo(N, X), !.
fib(0, 0) :- !.
fib(1, 1) :- !.
fib(N, X) :- M is N-1, fib(M, Y), K is M-1,
fib(K, Z), X is Y+Z, assertz(memo(N, X)).
:- fib(10,X), write(X), nl.
:- fib(100,X), write(X), nl.

Dogelog will show me:

55
354224848179261915075

See also:

Preview: Dogelog got a Prolog dynamic database. (Jekejeke) https://gist.github.com/jburse/ce2cc49168b637fb0472b3d958999c40#gistcomment-3798277

Pitty it doesn't work in TauProlog, not because of
lack of dynamic database, TauProlog has dynamic database,
but bigint is missing. This is what TauProlog shows me:

?- fib(100,X).
uncaught exception: error(evaluation_error(int_overflow),is/2)

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

We just completed a time/1 predicate, so as to measure the performance
of Dogelog runtime inside a browser. Just out of curriosity we measured
the performance on our negation as failure based Tic-Tac-Toe game.

Interestingly it takes only ca. 300ms. This means for later moves it
will even take less time. The physiological threshold for fast response
is around 100ms. So it seems feasible to provide a user interface

and deliver a Tic-Tac-Toe game play via Prolog inside the browser.
We quickly found a SELFHTML tutorial about the Tic-Tac-Toe game
and adopted the game board from there.

See also:

Preview: Dogelog plays Tic-Tac-Toe via Prolog. (Jekejeke) https://gist.github.com/jburse/79c0fcaa23339d2a0968c7d54594facd#gistcomment-3799880

Mostowski Collapse schrieb am Mittwoch, 30. Juni 2021 um 20:18:47 UTC+2:

Some more progress. Dogelog got a Prolog dynamic
database. We can now run this example and more:

:- dynamic(memo/2).
fib(N, X) :- memo(N, X), !.
fib(0, 0) :- !.
fib(1, 1) :- !.
fib(N, X) :- M is N-1, fib(M, Y), K is M-1,
fib(K, Z), X is Y+Z, assertz(memo(N, X)).
:- fib(10,X), write(X), nl.
:- fib(100,X), write(X), nl.

Dogelog will show me:

55
354224848179261915075

See also:

Preview: Dogelog got a Prolog dynamic database. (Jekejeke) https://gist.github.com/jburse/ce2cc49168b637fb0472b3d958999c40#gistcomment-3798277

Pitty it doesn't work in TauProlog, not because of
lack of dynamic database, TauProlog has dynamic database,
but bigint is missing. This is what TauProlog shows me:

?- fib(100,X).
uncaught exception: error(evaluation_error(int_overflow),is/2)

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)