From Newsgroup: comp.lang.prolog

Hi,

How fast is EyeProlog, do we need -C-WAM?
Ok, here is a test:

between2(L, L, R) :- !, L = R.
between2(L, _, L).
between2(L, H, X) :- J is L+1, between2(J, H, X).

test :-
between2(1, 100, _),
between2(1, 100, _),
between2(1, 100, _),
fail.
test.

I get for EyeProlog and Dogelog:

/* EyeProlog */
0.476 sec
https://eyereasoner.github.io/eyeprolog/playground

/* Dogelog */
% Zeit 446.020 ms, GC 0.000 ms, Lips 6794 k
https://www.herbrand.ai/

Thats not bad. Now watch -C-WAM, the first
AI accelerated Prolog subset, with
JavaScript Workers:

:- ensure_loaded(library(misc/brainfog)).

test2 :-
execute((between(1,100,_),
between(1,100,_),
between(1,100,_))).

?- time(test2).
% Zeit 52.675 ms, GC 0.000 ms, Lips 9 k
true.

BTW: With JavaScript WebGPU the AI acceleration
is even an itch stronger, if the problem can
be parallelized.

Have Fun!

Bye

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

Its interesting that we already have
like for 50 years the Curry Howard
isomorphims, as proof justifications terms,

Still it seems extremly hard to generate
proof certificates for Prolog, isn't it?
How it started:

Ai x Big Gas. What could go wrong?
https://www.youtube.com/watch?v=kON2ZI2BNj8

How its going:

eq(Z,Z).
why eq(f(X,a),f(b,Y))
eq(f(b, a), f(b, a)).
why(
eq(f(b, a), f(b, a)),
proof(
goal(eq(f(b, a), f(b, a))),
by(fact("<input>", clause(1))),
bindings([binding("Z", f(b, a))])
)
).
https://eyereasoner.github.io/eyeprolog/playground

Truely some bullshit authorized by Sarah Connor.
So far there is no danger of an upcoming
Skynet that will gained self-awareness.

Bye

Mild Shock schrieb:

Hi,

How fast is EyeProlog, do we need -C-WAM?
Ok, here is a test:

between2(L, L, R) :- !, L = R.
between2(L, _, L).
between2(L, H, X) :- J is L+1, between2(J, H, X).

test :-
-a-a between2(1, 100, _),
-a-a between2(1, 100, _),
-a-a between2(1, 100, _),
-a-a fail.
test.

I get for EyeProlog and Dogelog:

/* EyeProlog */
0.476 sec
https://eyereasoner.github.io/eyeprolog/playground

/* Dogelog */
% Zeit 446.020 ms, GC 0.000 ms, Lips 6794 k
https://www.herbrand.ai/

Thats not bad. Now watch -C-WAM, the first
AI accelerated Prolog subset, with
JavaScript Workers:

:- ensure_loaded(library(misc/brainfog)).

test2 :-
-a-a execute((between(1,100,_),
-a-a-a-a-a-a-a-a-a-a-a between(1,100,_),
-a-a-a-a-a-a-a-a-a-a-a between(1,100,_))).

?- time(test2).
% Zeit 52.675 ms, GC 0.000 ms, Lips 9 k
true.

BTW: With JavaScript WebGPU the AI acceleration
is even an itch stronger, if the problem can
be parallelized.

Have Fun!

Bye

--- Synchronet 3.22a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog


Whoever payed for this nonsense, had his money
lavishly thrown out of a window. They could use the
australian gas to directly burn some dollar notes.

LoL

Mild Shock schrieb:

Hi,

Its interesting that we already have
like for 50 years the Curry Howard
isomorphims, as proof justifications terms,

Still it seems extremly hard to generate
proof certificates for Prolog, isn't it?
How it started:

Ai x Big Gas. What could go wrong? https://www.youtube.com/watch?v=kON2ZI2BNj8

How its going:

eq(Z,Z).
why eq(f(X,a),f(b,Y))
eq(f(b, a), f(b, a)).
why(
-a eq(f(b, a), f(b, a)),
-a proof(
-a-a-a goal(eq(f(b, a), f(b, a))),
-a-a-a by(fact("<input>", clause(1))),
-a-a-a bindings([binding("Z", f(b, a))])
-a )
).
https://eyereasoner.github.io/eyeprolog/playground

Truely some bullshit authorized by Sarah Connor.
So far there is no danger of an upcoming
Skynet that will gained self-awareness.

Bye

Mild Shock schrieb:

Hi,

How fast is EyeProlog, do we need -C-WAM?
Ok, here is a test:

between2(L, L, R) :- !, L = R.
between2(L, _, L).
between2(L, H, X) :- J is L+1, between2(J, H, X).

test :-
-a-a-a between2(1, 100, _),
-a-a-a between2(1, 100, _),
-a-a-a between2(1, 100, _),
-a-a-a fail.
test.

I get for EyeProlog and Dogelog:

/* EyeProlog */
0.476 sec
https://eyereasoner.github.io/eyeprolog/playground

/* Dogelog */
% Zeit 446.020 ms, GC 0.000 ms, Lips 6794 k
https://www.herbrand.ai/

Thats not bad. Now watch -C-WAM, the first
AI accelerated Prolog subset, with
JavaScript Workers:

:- ensure_loaded(library(misc/brainfog)).

test2 :-
-a-a-a execute((between(1,100,_),
-a-a-a-a-a-a-a-a-a-a-a-a between(1,100,_),
-a-a-a-a-a-a-a-a-a-a-a-a between(1,100,_))).

?- time(test2).
% Zeit 52.675 ms, GC 0.000 ms, Lips 9 k
true.

BTW: With JavaScript WebGPU the AI acceleration
is even an itch stronger, if the problem can
be parallelized.

Have Fun!

Bye

--- Synchronet 3.22a-Linux NewsLink 1.2