Here's a much older demo of a similar idea: https://www.metalevel.at/lisprolog/ https://www.metalevel.at/lisprolog/ At 160 lines, it's short enough and readab

Here's a much older demo of a similar idea: https://www.metalevel.at/lisprolog/ https://www.metalevel.at/lisprolog/ At 160 lines, it's short enough and readable enough to give a hint of the kinds of things Prolog is good at.