One of the interesting things about this take on Prolog vs the Power of Prolog (https://www.metalevel.at/prolog https://www.metalevel.at/prolog), is that it att

One of the interesting things about this take on Prolog vs the Power of Prolog (https://www.metalevel.at/prolog https://www.metalevel.at/prolog), is that it attempts non-monotonic reasoning. There is still a lot of value in the ideas of abductive and inductive logic programming that have not been fully exploited in the current machine learning trends.