Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.javascript > #40271

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff

Newsgroups comp.lang.javascript
Date 2021-06-30 11:18 -0700
References (10 earlier) <s8kps2$66a$1@solani.org> <iimo3fFb1tkU2@mid.individual.net> <bd42a6d4-3e1c-4abd-af97-9349677b324bn@googlegroups.com> <67162b2a-397b-42d8-9240-d5f6b871a3ccn@googlegroups.com> <d16236be-5200-49ac-b720-3aab99aae9d9n@googlegroups.com>
Message-ID <00fbe00a-48d3-4df5-994f-a4d1048ea778n@googlegroups.com> (permalink)
Subject Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff
From Mostowski Collapse <bursejan@gmail.com>

Show all headers | View raw

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)

Back to comp.lang.javascript | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-24 19:25 -0700
  Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 09:34 +0200
    Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 06:11 -0700
      Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 18:35 +0200
        Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:06 -0700
          Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:28 +0200
            Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:30 +0200
              Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:39 -0700
              Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:38 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:47 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:54 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:59 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 21:03 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-25 19:42 +0000
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 22:05 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 22:27 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 22:01 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 17:53 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:51 -0700
              Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-25 20:34 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Mark-" <nospam@mapson.xyz> - 2021-05-26 01:11 +0000
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-26 08:33 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-26 08:37 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 18:06 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 06:14 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 13:21 +0000
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 06:38 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 13:56 +0000
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 07:08 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 14:15 +0000
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 07:34 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 16:00 +0000
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-26 09:50 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Jon Ribbens <jon+usenet@unequivocal.eu> - 2021-05-26 19:12 +0000
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 18:31 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 18:25 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 18:18 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <janburse@fastmail.fm> - 2021-05-26 08:29 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Arno Welzel <usenet@arnowelzel.de> - 2021-06-13 17:55 +0200
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-06-13 10:03 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <bursejan@gmail.com> - 2021-06-13 10:07 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <bursejan@gmail.com> - 2021-06-13 10:12 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <bursejan@gmail.com> - 2021-06-13 10:18 -0700
                Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff Mostowski Collapse <bursejan@gmail.com> - 2021-06-30 11:18 -0700
            Re: ANN: Dogelog: We Have Liftoff, We Have Liftoff "Michael Haufe (TNO)" <tno@thenewobjective.com> - 2021-05-25 11:42 -0700

csiph-web