With the addition of LAMBDA (a way to write reusable functions) in Excel, could logic programming translate well into a spreadsheet format? I found an old paper that talks about it but not many examples. https://dl.acm.org/doi/abs/10.1145/67449.67466

PERPLEX was mostly interesting as a programming-by-example system. Man, the screenshots give me some serious nostalgia...

Not clear how LAMBDA relates to logic programming. To me, the most logic programming-like aspect of Excel is the Solver and What-If Analysis, which are both kind of janky.