Prolog and logic programming has traditionally payed a lot
of attention to fix point theory. For example one can define
the least herbrand model of a definite program.
Anybody already experimented in pure Prolog code with stable
diffusion, aka a fixpoint operator that is a denoising autoencoder
and do the thing as a kernel operator over a grid?
The result would be something like:
In case the autoencoder knows about air plane features.
Edit 14.05.2025:
P.S.: Interesting fixpoint scenarios and maybe even new hardware:
GENERATIVE PSEUDO-INVERSE MEMORY
https://openreview.net/pdf?id=Harn4_EZBw
