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. dl.acm.org/doi/abs/10.114…

@RobertHaisfield When have you had a set of facts and axioms and needed to deduce something? Only then can logic programming be useful