as in https://sites.google.com/site/prologsite/prolog-problems