https://easyexamnotes.com/basic-elements-of-prolog-2/