https://cilk.codingforstudent.com/3-things-you-didnt-know-about-logic-programming/