https://bengkelwebsite.com/why-logic-programming-matters.html