https://saralnotes.com/introduction-prolog-programming/