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

Groups > sci.logic > #348361

Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: How fast is EyeProlog, do we need π-WAM? [Budget AI Laptop])

Show all headers | View raw

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 gain self-awareness.

Bye

Mild Shock schrieb:
> Hi,
> 
> How fast is EyeProlog, do we need π-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 π-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

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

How fast is EyeProlog, do we need π-WAM? [Budget AI Laptop] Mild Shock <janburse@fastmail.fm> - 2026-08-12 01:12 +0200
  Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: How fast is EyeProlog, do we need π-WAM? [Budget AI Laptop]) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:08 +0200
    Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: How fast is EyeProlog, do we need π-WAM? [Budget AI Laptop]) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:17 +0200

csiph-web