s3xton/prolog-turing-machine not found