https://datalog.codingforstudent.com/5-resources-to-help-you-xsb/