https://www.jmalmsten.com/potterthon-0-prolog/