I am obsessed with finding new ways for non-programmers to express computation (programmers can also use these to reduce the amount of programming they have to do).
I have some thoughts at
frest.substack.com.
As a general observation, Excel is functional programming, and FileMaker is relational. I’m fairly convinced that non-programmers can do richer kinds of programming, and do programming more easily, in that sort of programming model, rather than in something mostly imperative, like Squeak.
Logic programming is obviously a generalisation of both functional and relational programming.
Recent musing has led me to a relational data store with triggers as a really interesting paradigm. But not SQL, which is abominable — picture a Datalog database with triggers in your favourite languages.
You could express much of a business application in Datalog, and then do anything side-effecting or subject to efficiency issues or requiring Turing-complete processes in your favourite language.
It would also be good, particularly for non-programmers, to express at least some sorts of those triggers in something resembling the relational paradigm they’re already working in. Hence, my question about friendly presentations of logic programming.
I’ll take a look at Blawx. Thanks!