It's a really interesting area, but I think anyone who wants to push for this style of programming would do well to investigate why Prolog never really took off

It's a really interesting area, but I think anyone who wants to push for this style of programming would do well to investigate why Prolog never really took off in the 40 years it's been around. Of course, that could have nothing to do with its fundamental model.