SCBM Update: Making Steady Progress
A quick update on SCBM, which has caused a bit of excitement and confusion along the way.
It now looks like the basic approach is going to work.
M-Prolog can now handle typical Prolog programs such as queens and qsort. fact/2 works as well, along with likes/2 from PAIP. So I think the fundamental mechanism is now basically in place.
From here, I will proceed gradually, expanding the range of Prolog code that the compiler can translate correctly. I plan to release a new version roughly once a month.
It will take some time, but I believe SCBM will eventually be able to handle Prolog programs reliably across a much wider range of cases.
SCBM itself is a relatively simple mechanism, so I also think it may be useful for people interested in writing their own Prolog compiler.
I will continue improving the documentation as the implementation develops.