https://itmyt.com/definition/prolog