https://declarativa.com/InterProlog/
