konn/hs-prolog not found