From Newsgroup: comp.theory
Hi,
Ok, I see, its not really a Prolog.
For example I get the below. Why
does it have ISO compliance tests?
?- T = f(Y,Z,S), f(X,Y,Z) = T.
(no answers)
https://eyereasoner.github.io/eyeprolog/playground
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
Bye
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 gain self-awareness.
Bye
Mild Shock schrieb:
Hi,
Woa! Thats a very sad and non fitting statement:
"This was before I was indoctrinated into
ISO Prolog and the ways of monotonic logic
programming. Shen Prolog has many semantic
and syntactic limitations that Scryer Prolog
does not. Also, I now know constraints are a
much better, purer solution to the problems
mode declarations were meant to address"
https://github.com/mthom/scryer-prolog/issues/3410#issuecomment-5030471183 >>
Ok, here is the summer challenge, thats the easy one:
-a-a-a-a SQL --> Prolog --> WAM
Here come two variations, slightly mindboggling maybe?
-a-a-a-a SQL --> AST --> VDBE
-a-a-a-a SQL --> Prolog+Modes --> -C-WAM
Bye
BTW: What is VDBE? Some abstract machine, that can
be used to run SQL, following some ideas here:
Database Co-Design With Asynchronous I/O
https://penberg.org/papers/penberg-edgesys24.pdf
Or to run Doom:
Doom on the Turso VDBE
https://github.com/tursodatabase/turso-vdbe-doom-example
What if we would run Doom with -C-WAM, on a GPU,
using multiple shaders. We could add some ray tracing.
Mild Shock schrieb:
Hi,
This seems to be a funny Q16.16 experiment.
It shows that an integerish Hack can do
floatish stuff, by using binary fixpoint:
Raytracing on the Hack computer
2021/06/13 - im alex
https://blog.alexqua.ch/posts/from-nand-to-raytracer/
That it uses Rust is arbitrary. Feel free
to do it in C, C++, FORTRAN or Java. I guess
these languages all have basic arithmethic,
right? Maybe not a long jump always?
Bye
Mild Shock schrieb:
Hi,
Who exactly is the thief? Does this person
have stats in the Rogue class in dungeons
and dragons?
The conspiracy theory of a stealing of Torso VDBE,
by Rossy Boy, is probably a result of complete
ignorance of the Hack ecosystem.
Hack is a very popular computer science project,
with a couple of subprojects in hardware and
software. It goes also by the name Nand to Tetris,
and is programming language agnositic. You can do
Hack experiments in any programming language, be
it BASIC, ADA or Rust. Nobody cares.
The gist are projects like here, first to
educate yourself about Hack:
https://www.nand2tetris.org/course
And then to use Hack in different contexts:
https://www.nand2tetris.org/copy-of-talks
For didactic purposes, I used Hack for my WebGPU
experiment. I didn't even take a look at Torso
VDBE, why should I? Hack is nicely documented,
has even a book, and fusing the two 16-bit
instruction types A and D, into a single 32-bit
instruction stream, is nowhere patented.
Bye
Johann 'Myrkraverk' Oskarsson schrieb:
On 30/07/2026 2:13 AM, Ross Finlayson wrote:
https://www.theregister.com/databases/2026/07/29/after-rewriting-sqlite-
in-rust-turso-turns-its-sights-on-postgres/5279835
I don't much care about Rust. It's yet another Google product,
with the idea of not having exception handling, then supposedly
it's efficient and safe, yet, it's efficient by not being safe,
and safe by not being efficient. Then there's the
macro/metaprogramming
front-end, which basically doesn't validate
like templates or otherwise for compile-time invariants,
that is basically like people who use string substititution instead >>>>>> of object models, who all suffer injection attacks.
Personally, I like Postgres in C, and I hope it stays there.-a I
used to
maintain PL/Java, and got intimately familiar with some of the limi- >>>>> tations of the JNI interface.-a And while there's some new Java foreign >>>>> function interface now, it doesn't replace JNI.-a Especially for
projects
that embed the JVM like PL/Java.
I haven't contributed to that project for maybe one and half
decade, and
now that I'm using Java again -- a project I'll mention in another
thread --[1] I may just resume some duties in PL/Java.-a But that's a >>>>> future adventure that may or may not happen.
So, I was going to say something about Postgres?-a Right, I'm sure the >>>>> author of Postgres-in-Rust will run into some of the problems people >>>>> always run into when they attempt to rewrite other large projects, and >>>>> that's not learning from the prior mistakes.-a I try to avoid that.
Some of that I learned the hard way, and some of that I learned by
read-
ing the /Mythical Man Month/.-a I don't remember the author's name, and >>>>> my physical copy is not in my current library, but I believe the
author
is famous enough I don't need to mention him by name.
This latest manic episode has that in some more clinical or caring >>>>>> settings, then one might wonder over the author's need to get help >>>>>> or whether they're lost their mittens. In another view, though,
that's crazy-town and it's not a good place and we don't go there
any-more, population burse-scheiss-bots. Anyways here we just
generally respect people well enough to let them well alone.
I don't remote diagnose people.-a While I don't have a medical license >>>>> to lose, I feel it's impolite to potentially mis-diagnose people over >>>>> text messages.
I have not felt very respected here in comp.lang.c.-a I guess we must >>>>> have some different experiences in this place.-a Who exactly is
welcoming, and a warm person?
Not to spring on you that you're wrong, it's not a conspiracy
against you, anyways as per the usual Shut Up goes out to any
of these JB, JG, PO, WM, ..., sock-puppet bots.
I'm not sure I recognize all of these initials.-a I'm sure I'll
learn to not engage with the problem children here in comp.lang.c,
but it's been a few days, and I'm still familiarizing myself with
the regulars.
Thief.
Who exactly is the thief?-a Does this person have stats in the Rogue >>>>> class in dungeons and dragons?
Happy C coding!
[1] Those pretend em-dashes will surely make Dan Cross even more
fictional.-a I hope his rage isn't fictional and he'll byte every
character I type here in comp.lang.c.
--- Synchronet 3.22a-Linux NewsLink 1.2