https://123dok.com/document/z31w947y-slide-syntactic-aspects-of-prolog-programs.html