Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.prolog > #13518
| From | Mostowski Collapse <janburse@fastmail.fm> |
|---|---|
| Newsgroups | comp.lang.prolog |
| Subject | Re: 50 Years of Prolog Nonsense |
| Date | 2023-03-15 02:01 +0100 |
| Message-ID | <tur5e7$23sbt$1@solani.org> (permalink) |
| References | <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com> <f49ea300-d85e-404a-8eba-705047419a94n@googlegroups.com> <22d6355e-c160-4fce-bb23-b18b15963e4an@googlegroups.com> <fe71e6b9-e73f-451d-863d-3b27a70534ean@googlegroups.com> |
Other Prolog systems fare much better:
/* SWI-Prolog 9.1.4 */
?- time((canonball, munchhausen(_), fail; true)).
% 4,633,344 inferences, 0.594 CPU in 0.589 seconds (101% CPU, 7803527 Lips)
true.
/* Trealla Prolog 2.13.10 */
?- time((canonball, munchhausen(_), fail; true)).
% Time elapsed 0.815s, 5888901 Inferences, 7.222 MLips)
true.
Even my own new Prolog system, which does the assertz/1
clause compilation in Prolog itself, is faster than
Scryer Prolog, not as fast as the other ones though:
/* Dogelog Player 1.0.5 */
?- time((canonball, munchhausen(_), fail; true)).
% Time 6024 ms, gc 15 ms, 1966296 lips
true.
Mostowski Collapse schrieb:
> I guess Scryer Prologs argument indexing could be
> improved. Take the computation of Munchhausen numbers:
>
> /* Scryer Prolog 0.9.1-194 */
> ?- time((canonball, munchhausen(_), fail; true)).
> % CPU time: 49.769s
> true.
>
> The bottleneck is really the cache computation, which
> uses assertz/1:
>
> ?- time(canonball).
> % CPU time: 50.158s
> true.
>
> Once the cache is in place, its fine:
>
> ?- time((munchhausen(R), write(R), nl, fail; true)).
> 0
> 1
> 3435
> 438579088
> % CPU time: 0.280s
> true.
>
> BTW: This is the Prolog text:
>
> canonball :-
> retractall(cache(_,_)),
> between(0, 99999, N), map(N, Y), C is Y-N,
> assertz(cache(C, N)), fail; true.
>
> munchhausen(R) :-
> between(0, 99999, M), map(M, X), B is 100000*M-X,
> cache(B, N), R is 100000*M+N.
>
> map(0, X) :- !, X = 0.
> map(N, X) :-
> M is N//10,
> map(M, Y),
> D is N mod 10,
> (D = 0 -> X=Y; X is Y+D^D).
>
Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 07:41 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 07:47 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 07:49 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 07:59 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 08:07 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 08:10 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 08:15 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 08:33 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 08:35 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-28 08:52 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-02-02 03:46 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-02-04 03:18 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-02-08 06:04 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2022-02-08 15:06 +0100
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-02-08 13:23 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-02-08 13:35 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-02-08 13:42 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-02-08 13:48 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-02-08 16:17 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-02-08 16:34 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-04 01:01 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-04 01:03 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-04 13:10 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-05 15:32 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-16 17:30 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-17 05:10 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-17 13:39 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-17 13:53 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-23 13:57 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-24 05:32 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-24 11:47 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-24 14:49 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2022-04-29 13:27 +0200
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2022-04-29 13:37 +0200
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-30 08:38 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-04-30 08:45 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-04 11:35 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-05 00:21 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-05 00:52 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-05 00:58 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-05 01:23 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-05 03:04 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-05 03:08 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-05 03:19 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-05 03:56 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-05-05 04:07 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2022-01-29 15:56 +0100
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2022-01-29 16:05 +0100
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2022-01-29 16:56 +0100
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-31 10:37 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-01-31 10:45 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-06-02 12:03 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-06-03 02:44 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-06-03 02:49 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-06-03 03:11 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-06-10 05:54 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-06-25 02:39 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-06-25 02:41 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 00:45 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 01:03 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 01:28 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 01:28 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 01:40 -0700
Re: 50 Years of Prolog Nonsense Markus Triska <triska@logic.at> - 2022-07-12 19:25 +0200
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 14:50 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 15:01 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 15:16 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 16:02 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 16:22 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-12 16:32 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-07-13 07:08 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-04 17:58 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-04 18:01 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-05 01:16 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-05 01:19 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-05 04:07 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-05 04:25 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-05 07:56 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-05 07:56 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-05 08:14 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-06 12:45 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-06 12:47 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-07 05:24 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-07 05:26 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-07 05:32 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-07 06:50 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-08 15:07 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-08 15:16 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-09 03:23 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-09 12:27 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-09 12:33 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-13 04:13 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-13 04:41 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-13 05:19 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-13 07:20 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-13 07:30 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-13 07:46 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-18 07:16 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-18 07:17 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-18 15:13 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-08-28 15:04 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-21 10:42 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-22 06:13 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-22 06:23 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-22 06:41 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-23 07:44 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-25 07:10 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-25 07:11 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-25 08:55 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-25 08:56 -0700
Re: 50 Years of Prolog Nonsense Markus Triska <triska@logic.at> - 2023-08-31 21:32 +0200
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-09-01 12:02 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <janburse@fastmail.fm> - 2024-04-09 00:15 +0200
Re: 50 Years of Prolog Nonsense Mild Shock <janburse@fastmail.fm> - 2024-04-09 00:20 +0200
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2023-05-20 14:09 +0200
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-05-20 05:46 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-05-20 05:48 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-05-20 06:16 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-05-27 04:51 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-06-01 14:10 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-06-01 14:11 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-06-01 14:17 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-06-03 05:20 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-06-03 09:10 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-06-02 00:44 -0700
PIPs from the Basilisk Chamber (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-09-29 17:22 +0200
Prolog Pearls I: Barklund and Millroth (Was: PIPs from the Basilisk Chamber) Mild Shock <janburse@fastmail.fm> - 2024-11-08 15:07 +0100
Prolog Pearls II: Barklund and Millroth (Was: PIPs from the Basilisk Chamber) Mild Shock <janburse@fastmail.fm> - 2024-11-08 15:29 +0100
change_arg/3 = nb_linkarg/3 ? (Was: PIPs from the Basilisk Chamber) Mild Shock <janburse@fastmail.fm> - 2024-11-08 18:37 +0100
Re: change_arg/3 = nb_linkarg/3 ? (Was: PIPs from the Basilisk Chamber) Mild Shock <janburse@fastmail.fm> - 2024-11-08 18:39 +0100
Re: PIPs from the Basilisk Chamber (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-09 15:47 +0100
Re: PIPs from the Basilisk Chamber (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-09 15:48 +0100
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2022-09-25 21:19 +0200
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2022-09-25 21:21 +0200
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-27 10:11 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2022-09-27 19:13 +0200
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-28 03:33 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-28 03:34 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-28 03:37 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-28 03:56 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-28 05:01 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-09-28 06:44 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-12-18 16:21 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-12-18 16:22 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-12-25 16:00 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-12-30 21:53 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-12-30 22:03 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2022-12-30 22:29 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-02 10:51 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-03 21:17 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-03 21:36 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-03 21:50 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-07 07:35 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-14 07:53 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-22 08:54 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-22 10:02 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-22 15:37 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-29 07:19 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-29 07:20 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-29 07:32 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-29 07:55 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-01-30 07:06 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-02-06 00:49 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-02-06 00:53 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-02-20 06:23 -0800
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-02-20 06:31 -0800
How working with GitHub feels (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-03-13 14:45 +0100
Re: How working with GitHub feels (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-03-13 15:05 +0100
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-03-12 09:12 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-03-12 09:14 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-03-14 17:57 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2023-03-15 02:01 +0100
Re: 50 Years of Prolog Nonsense Mostowski Collapse <janburse@fastmail.fm> - 2023-03-15 02:09 +0100
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-03-28 06:07 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-03-28 06:30 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-03-28 10:04 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-03-28 10:05 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-04-02 15:10 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-05-25 08:48 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-05-25 08:53 -0700
Re: 50 Years of Prolog Nonsense Mostowski Collapse <bursejan@gmail.com> - 2023-05-25 09:02 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-07-29 04:57 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-07-29 05:10 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <janburse@fastmail.fm> - 2023-07-29 23:16 +0200
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-07-30 05:06 -0700
Re: 50 Years of Prolog Nonsense Mild Shock <bursejan@gmail.com> - 2023-08-01 01:09 -0700
How I got rid of term_variables/3 (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-10 12:37 +0100
Re: How I got rid of term_variables/3 (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-10 12:40 +0100
Re: How I got rid of term_variables/3 (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-10 12:42 +0100
How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-12 16:30 +0100
Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-12 16:32 +0100
Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-14 05:14 +0100
Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-14 05:24 +0100
Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) Julio Di Egidio <julio@diegidio.name> - 2024-11-14 21:21 +0100
Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-14 21:58 +0100
Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) Mild Shock <janburse@fastmail.fm> - 2024-11-14 22:10 +0100
Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) Julio Di Egidio <julio@diegidio.name> - 2024-11-15 15:42 +0100
Mode yfy to the rescue (Was: How Prolog became an education nightmare) Mild Shock <janburse@fastmail.fm> - 2024-11-14 22:30 +0100
Cyclic term predicates suffer from ambiguity (Was: How Prolog became an education nightmare) Mild Shock <janburse@fastmail.fm> - 2025-08-01 02:47 +0200
An ISO term_variables/2 for Cyclic Terms (Was: Cyclic term predicates suffer from ambiguity) Mild Shock <janburse@fastmail.fm> - 2025-08-01 03:01 +0200
csiph-web