From Newsgroup: comp.lang.prolog

Hi,

Take this egg drop example:

:- table(drop/3).
drop(0, _, R) :- !, R = 0.
drop(_, 0, R) :- !, R = 0.
drop(F, 1, R) :- !, R = F.
drop(F, E, M) :- E > 1, F > 0,
aggregate_all(min(N), (between(1,F,K),
E2 is E-1,
F1 is K-1,
drop(F1, E2, N1),
F2 is F-K,
drop(F2, E, N2),
N is 1+max(N1,N2)), M).

My results so far:

/* SWI, XSB and Dogelog */
?- drop(100, 10, X).
X = 7.

/* Scryer */
?- drop(100,10,X).
false.

Why does Scryer Prolog fail?

Bye

BTW: I used this polyfill:

aggregate_all(min(N), G, M) :-
findall(N, G, [X|L]),
min_list(L, X, M).

min_list([], M, M).
min_list([X|L], Y, M) :-
Z is min(X,Y),
min_list(L, Z, M).

Mild Shock schrieb:

Hi,

During my quick brainstorming on SWI-Prolog
discourse concerning my library(markup) I worte:

Disclaimer: I didn’t look into Trealla, Scryer
or Ciao, what they support in this respect.
I only had a look at SWISH and their concept of
answer substitutions filters. I find this too
restrictive, already the library(turtle) cannot
be done in this setting.

So my subc-consciousness told me there is nothing
useful to expect from Trealla, Scryer or Ciao.
Since they are total web virgins, probably never

seen a DOM API and/or never generated production
webpages. For example this could be abused, not
something that should be promoted:

document.write(`<p>Sudoku solver returns:</p><pre>${result}</pre>`);

https://github.com/mthom/scryer-prolog?tab=readme-ov-file#building-webassembly

Not only is the document.write() method deprecated.
The document.write() method directly injects HTML
into the page. This leads to XSS vulnerability:

During the second half of 2007, XSSed documented

11,253 site-specific cross-site vulnerabilities,
compared to 2,134 "traditional" vulnerabilities
documented by Symantec. XSS effects vary in range from
petty nuisance to significant security risk, depending
on the sensitivity of the data handled by the vulnerable
site and the nature of any security mitigation
implemented by the site's owner network. https://en.wikipedia.org/wiki/Cross-site_scripting

Bye

--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

The Latin cogito, ergo sum, usually translated
into English as "I think, therefore I am",[a]
is the "first principle" of the philosophy of
the French scientist and philosopher René Descartes.

The new CogitoAI System features explanation
compression using the motto:

**********************************************
Search First, Explain Later
**********************************************

Its very easy to implement, and based on intuitionist
logic Curry Howard exists witness terms, a rule:

P(X, Y) :- Q(X, Z), R(Z, Y).

Is transformed into, combining existential and conjunction:

P(X, Y, rule(Z, S, T)) :- Q(X, Z, S), R(Z, Y, T).

So the search will only return the compressed form
you can later generate fancy trees, with fact
prevenance, rule references, coloring, bells and

whistles. Dunno, just an idea based on:

formalise existential quantification by
declaring a suitable record type https://plfa.github.io/Quantifiers/#existentials

LoL

Bye

Mild Shock schrieb:

Hi,

Take this egg drop example:

:- table(drop/3).
drop(0, _, R) :- !, R = 0.
drop(_, 0, R) :- !, R = 0.
drop(F, 1, R) :- !, R = F.
drop(F, E, M) :- E > 1, F > 0,
   aggregate_all(min(N), (between(1,F,K),
       E2 is E-1,
       F1 is K-1,
       drop(F1, E2, N1),
       F2 is F-K,
       drop(F2, E, N2),
       N is 1+max(N1,N2)), M).

My results so far:

/* SWI, XSB and Dogelog */
?- drop(100, 10, X).
X = 7.

/* Scryer */
?- drop(100,10,X).
   false.

Why does Scryer Prolog fail?

Bye

BTW: I used this polyfill:

aggregate_all(min(N), G, M) :-
   findall(N, G, [X|L]),
   min_list(L, X, M).

min_list([], M, M).
min_list([X|L], Y, M) :-
   Z is min(X,Y),
   min_list(L, Z, M).

Mild Shock schrieb:

Hi,

During my quick brainstorming on SWI-Prolog
discourse concerning my library(markup) I worte:

Disclaimer: I didn’t look into Trealla, Scryer
or Ciao, what they support in this respect.
I only had a look at SWISH and their concept of
answer substitutions filters. I find this too
restrictive, already the library(turtle) cannot
be done in this setting.

So my subc-consciousness told me there is nothing
useful to expect from Trealla, Scryer or Ciao.
Since they are total web virgins, probably never

seen a DOM API and/or never generated production
webpages. For example this could be abused, not
something that should be promoted:

document.write(`<p>Sudoku solver returns:</p><pre>${result}</pre>`);

https://github.com/mthom/scryer-prolog?tab=readme-ov-file#building-webassembly


Not only is the document.write() method deprecated.
The document.write() method directly injects HTML
into the page. This leads to XSS vulnerability:

During the second half of 2007, XSSed documented

11,253 site-specific cross-site vulnerabilities,
compared to 2,134 "traditional" vulnerabilities
documented by Symantec. XSS effects vary in range from
petty nuisance to significant security risk, depending
on the sensitivity of the data handled by the vulnerable
site and the nature of any security mitigation
implemented by the site's owner network.
https://en.wikipedia.org/wiki/Cross-site_scripting

Bye

--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

What happened recently? They all run on low fuel
CPU ( GPU / TPU ) now. Have to explain:

∀X∀Y∀Z (Q(X,Z) ∧ R(Z,Y) → P(X,Y)) is equivalent to:

∀X∀Y∀Z (~(Q(X,Z) ∧ R(Z,Y)) v P(X,Y)) is equivalent to:

∀X∀Y (∀Z ~(Q(X,Z) ∧ R(Z,Y)) v P(X,Y)) is equivalent to:

∀X∀Y (~∃Z (Q(X,Z) ∧ R(Z,Y)) v P(X,Y)) is equivalent to:

∀X∀Y (∃Z (Q(X,Z) ∧ R(Z,Y)) → P(X,Y))

Bye

Mild Shock schrieb:

Hi,

The Latin cogito, ergo sum, usually translated
into English as "I think, therefore I am",[a]
is the "first principle" of the philosophy of
the French scientist and philosopher René Descartes.

The new CogitoAI System features explanation
compression using the motto:

**********************************************
Search First, Explain Later
**********************************************

Its very easy to implement, and based on intuitionist
logic Curry Howard exists witness terms, a rule:

P(X, Y) :- Q(X, Z), R(Z, Y).

Is transformed into, combining existential and conjunction:

P(X, Y, rule(Z, S, T)) :- Q(X, Z, S), R(Z, Y, T).

So the search will only return the compressed form
you can later generate fancy trees, with fact
prevenance, rule references, coloring, bells and

whistles. Dunno, just an idea based on:

formalise existential quantification by
declaring a suitable record type https://plfa.github.io/Quantifiers/#existentials

LoL

Bye

Mild Shock schrieb:

Hi,

Take this egg drop example:

:- table(drop/3).
drop(0, _, R) :- !, R = 0.
drop(_, 0, R) :- !, R = 0.
drop(F, 1, R) :- !, R = F.
drop(F, E, M) :- E > 1, F > 0,
    aggregate_all(min(N), (between(1,F,K),
        E2 is E-1,
        F1 is K-1,
        drop(F1, E2, N1),
        F2 is F-K,
        drop(F2, E, N2),
        N is 1+max(N1,N2)), M).

My results so far:

/* SWI, XSB and Dogelog */
?- drop(100, 10, X).
X = 7.

/* Scryer */
?- drop(100,10,X).
    false.

Why does Scryer Prolog fail?

Bye

BTW: I used this polyfill:

aggregate_all(min(N), G, M) :-
    findall(N, G, [X|L]),
    min_list(L, X, M).

min_list([], M, M).
min_list([X|L], Y, M) :-
    Z is min(X,Y),
    min_list(L, Z, M).

Mild Shock schrieb:

Hi,

During my quick brainstorming on SWI-Prolog
discourse concerning my library(markup) I worte:

Disclaimer: I didn’t look into Trealla, Scryer
or Ciao, what they support in this respect.
I only had a look at SWISH and their concept of
answer substitutions filters. I find this too
restrictive, already the library(turtle) cannot
be done in this setting.

So my subc-consciousness told me there is nothing
useful to expect from Trealla, Scryer or Ciao.
Since they are total web virgins, probably never

seen a DOM API and/or never generated production
webpages. For example this could be abused, not
something that should be promoted:

document.write(`<p>Sudoku solver returns:</p><pre>${result}</pre>`);

https://github.com/mthom/scryer-prolog?tab=readme-ov-file#building-webassembly


Not only is the document.write() method deprecated.
The document.write() method directly injects HTML
into the page. This leads to XSS vulnerability:

During the second half of 2007, XSSed documented

11,253 site-specific cross-site vulnerabilities,
compared to 2,134 "traditional" vulnerabilities
documented by Symantec. XSS effects vary in range from
petty nuisance to significant security risk, depending
on the sensitivity of the data handled by the vulnerable
site and the nature of any security mitigation
implemented by the site's owner network.
https://en.wikipedia.org/wiki/Cross-site_scripting

Bye

--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

Why even go into the hussle to store anything.
If you have Q and R anyways tabled? You can go
with your answer X and Y, into this subquery,

and choose an arbitrary Z:

∃Z (Q(X,Z) ∧ R(Z,Y))

As your explanation. And do this recursively.
This would be the original gangster (OG) of.
Its basically the "wait, let me explain":

**********************************************
Search First, Explain Later
**********************************************

This is what cognitive science told us already
for years, Consciousness is only a "hick up".
Well you have to be quick, its really only "hick up".

If the tabling gets flushed it doesn't
work so easily anymore.

Bye

Mild Shock schrieb:

Hi,

What happened recently? They all run on low fuel
CPU ( GPU / TPU ) now. Have to explain:

∀X∀Y∀Z (Q(X,Z) ∧ R(Z,Y) → P(X,Y)) is equivalent to:

∀X∀Y∀Z (~(Q(X,Z) ∧ R(Z,Y)) v P(X,Y))  is equivalent to:

∀X∀Y (∀Z ~(Q(X,Z) ∧ R(Z,Y)) v P(X,Y))  is equivalent to:

∀X∀Y (~∃Z (Q(X,Z) ∧ R(Z,Y)) v P(X,Y))  is equivalent to:

∀X∀Y (∃Z (Q(X,Z) ∧ R(Z,Y)) → P(X,Y))

Bye

Mild Shock schrieb:

Hi,

The Latin cogito, ergo sum, usually translated
into English as "I think, therefore I am",[a]
is the "first principle" of the philosophy of
the French scientist and philosopher René Descartes.

The new CogitoAI System features explanation
compression using the motto:

**********************************************
Search First, Explain Later
**********************************************

Its very easy to implement, and based on intuitionist
logic Curry Howard exists witness terms, a rule:

P(X, Y) :- Q(X, Z), R(Z, Y).

Is transformed into, combining existential and conjunction:

P(X, Y, rule(Z, S, T)) :- Q(X, Z, S), R(Z, Y, T).

So the search will only return the compressed form
you can later generate fancy trees, with fact
prevenance, rule references, coloring, bells and

whistles. Dunno, just an idea based on:

formalise existential quantification by
declaring a suitable record type
https://plfa.github.io/Quantifiers/#existentials

LoL

Bye

Mild Shock schrieb:

Hi,

Take this egg drop example:

:- table(drop/3).
drop(0, _, R) :- !, R = 0.
drop(_, 0, R) :- !, R = 0.
drop(F, 1, R) :- !, R = F.
drop(F, E, M) :- E > 1, F > 0,
    aggregate_all(min(N), (between(1,F,K),
        E2 is E-1,
        F1 is K-1,
        drop(F1, E2, N1),
        F2 is F-K,
        drop(F2, E, N2),
        N is 1+max(N1,N2)), M).

My results so far:

/* SWI, XSB and Dogelog */
?- drop(100, 10, X).
X = 7.

/* Scryer */
?- drop(100,10,X).
    false.

Why does Scryer Prolog fail?

Bye

BTW: I used this polyfill:

aggregate_all(min(N), G, M) :-
    findall(N, G, [X|L]),
    min_list(L, X, M).

min_list([], M, M).
min_list([X|L], Y, M) :-
    Z is min(X,Y),
    min_list(L, Z, M).

Mild Shock schrieb:

Hi,

During my quick brainstorming on SWI-Prolog
discourse concerning my library(markup) I worte:

Disclaimer: I didn’t look into Trealla, Scryer
or Ciao, what they support in this respect.
I only had a look at SWISH and their concept of
answer substitutions filters. I find this too
restrictive, already the library(turtle) cannot
be done in this setting.

So my subc-consciousness told me there is nothing
useful to expect from Trealla, Scryer or Ciao.
Since they are total web virgins, probably never

seen a DOM API and/or never generated production
webpages. For example this could be abused, not
something that should be promoted:

document.write(`<p>Sudoku solver returns:</p><pre>${result}</pre>`);

https://github.com/mthom/scryer-prolog?tab=readme-ov-file#building-webassembly


Not only is the document.write() method deprecated.
The document.write() method directly injects HTML
into the page. This leads to XSS vulnerability:

During the second half of 2007, XSSed documented

11,253 site-specific cross-site vulnerabilities,
compared to 2,134 "traditional" vulnerabilities
documented by Symantec. XSS effects vary in range from
petty nuisance to significant security risk, depending
on the sensitivity of the data handled by the vulnerable
site and the nature of any security mitigation
implemented by the site's owner network.
https://en.wikipedia.org/wiki/Cross-site_scripting

Bye

--- Synchronet 3.21f-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

Now I get finger licking feelings to get my
hands on some of NVIDIA DGX or something
machines with 1000 TOPS or something.

Interestingly their Blackwell 2024 series,
is a tribute to David Blackwell (1919 - 2010),
who co-authored typical post WWII and

pre Cold War "strategic" mathematics:

Bayes and Minimax Solutions of Sequential Decision Problems
Author(s): K. J. Arrow, D. Blackwell and M. A. Girshick
Source: Econometrica, Vol. 17, No. 3/4 (Jul. - Oct., 1949), pp. 213-244

Is this basic statistics or neuro symbolic?

Bye

P.S.: Nice and maybe easy special case:

3. OPTIMUM SEQUENTIAL PROCEDURE FOR A
DICHOTOMY WHEN THE COST FUNCTION IS LINEAR
We are given two alternative hypotheses H1 and H2,
which, for the sake of simplicity, we assume are
characterized respectively by two probability densities
f1(x) and f2(x) of a random vector X in an R dimensional
Euclidean space. Etc.. Etc..

Mild Shock schrieb:

Hi,

The Latin cogito, ergo sum, usually translated
into English as "I think, therefore I am",[a]
is the "first principle" of the philosophy of
the French scientist and philosopher René Descartes.

The new CogitoAI System features explanation
compression using the motto:

**********************************************
Search First, Explain Later
**********************************************

Its very easy to implement, and based on intuitionist
logic Curry Howard exists witness terms, a rule:

P(X, Y) :- Q(X, Z), R(Z, Y).

Is transformed into, combining existential and conjunction:

P(X, Y, rule(Z, S, T)) :- Q(X, Z, S), R(Z, Y, T).

So the search will only return the compressed form
you can later generate fancy trees, with fact
prevenance, rule references, coloring, bells and

whistles. Dunno, just an idea based on:

formalise existential quantification by
declaring a suitable record type https://plfa.github.io/Quantifiers/#existentials

LoL

Bye

Mild Shock schrieb:

Hi,

Take this egg drop example:

:- table(drop/3).
drop(0, _, R) :- !, R = 0.
drop(_, 0, R) :- !, R = 0.
drop(F, 1, R) :- !, R = F.
drop(F, E, M) :- E > 1, F > 0,
    aggregate_all(min(N), (between(1,F,K),
        E2 is E-1,
        F1 is K-1,
        drop(F1, E2, N1),
        F2 is F-K,
        drop(F2, E, N2),
        N is 1+max(N1,N2)), M).

My results so far:

/* SWI, XSB and Dogelog */
?- drop(100, 10, X).
X = 7.

/* Scryer */
?- drop(100,10,X).
    false.

Why does Scryer Prolog fail?

Bye

BTW: I used this polyfill:

aggregate_all(min(N), G, M) :-
    findall(N, G, [X|L]),
    min_list(L, X, M).

min_list([], M, M).
min_list([X|L], Y, M) :-
    Z is min(X,Y),
    min_list(L, Z, M).

Mild Shock schrieb:

Hi,

During my quick brainstorming on SWI-Prolog
discourse concerning my library(markup) I worte:

Disclaimer: I didn’t look into Trealla, Scryer
or Ciao, what they support in this respect.
I only had a look at SWISH and their concept of
answer substitutions filters. I find this too
restrictive, already the library(turtle) cannot
be done in this setting.

So my subc-consciousness told me there is nothing
useful to expect from Trealla, Scryer or Ciao.
Since they are total web virgins, probably never

seen a DOM API and/or never generated production
webpages. For example this could be abused, not
something that should be promoted:

document.write(`<p>Sudoku solver returns:</p><pre>${result}</pre>`);

https://github.com/mthom/scryer-prolog?tab=readme-ov-file#building-webassembly


Not only is the document.write() method deprecated.
The document.write() method directly injects HTML
into the page. This leads to XSS vulnerability:

During the second half of 2007, XSSed documented

11,253 site-specific cross-site vulnerabilities,
compared to 2,134 "traditional" vulnerabilities
documented by Symantec. XSS effects vary in range from
petty nuisance to significant security risk, depending
on the sensitivity of the data handled by the vulnerable
site and the nature of any security mitigation
implemented by the site's owner network.
https://en.wikipedia.org/wiki/Cross-site_scripting

Bye

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

Some companies are now selling laboratory
equipement, based on:

"Clinical reflex testing in virology is an automated
laboratory practice where an initial positive screening
test result automatically triggers a second, confirmatory,
or more specific test on the same patient sample." https://pmc.ncbi.nlm.nih.gov/articles/PMC9425021/

Whats the math behind it?
Basic statistics or neuro symbolic?

Bye

Could be useful for:

Hantavirus-Ausbruch auf Kreuzfahrtschiff:
DIESE Symptome muss man jetzt beachten! https://www.youtube.com/watch?v=lzNy0Lu3wM0

Happy fear mongering!

Mild Shock schrieb:

Hi,

Now I get finger licking feelings to get my
hands on some of NVIDIA DGX or something
machines with 1000 TOPS or something.

Interestingly their Blackwell 2024 series,
is a tribute to David Blackwell (1919 - 2010),
who co-authored typical post WWII and

pre Cold War "strategic" mathematics:

Bayes and Minimax Solutions of Sequential Decision Problems
Author(s): K. J. Arrow, D. Blackwell and M. A. Girshick
Source: Econometrica, Vol. 17, No. 3/4 (Jul. - Oct., 1949), pp. 213-244

Is this basic statistics or neuro symbolic?

Bye

P.S.: Nice and maybe easy special case:

3. OPTIMUM SEQUENTIAL PROCEDURE FOR A
DICHOTOMY WHEN THE COST FUNCTION IS LINEAR
We are given two alternative hypotheses H1 and H2,
which, for the  sake of simplicity, we assume are
characterized respectively by two probability densities
f1(x) and f2(x) of a random vector X in an R dimensional
Euclidean space. Etc.. Etc..

--- Synchronet 3.22a-Linux NewsLink 1.2