Hacker News new | ask | show | jobs
by samwalrus 2633 days ago
One of the interesting things about this take on Prolog vs the Power of 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.