pevhs.ch ~/prog/prol/