My GNU Prolog branch, currently improving terminal user interface