Success: [eclipse]: pathname("/home/user/userfile", P, F). P = "/home/user/" F = "userfile" yes. pathname("/home/user","/home/"). pathname("/home/","/home/",""). pathname("home","","home"). Fail: pathname("/home/file","/home","file"). Error: pathname(F,P,R). (Error 4). pathname("/home/file",P,file) (Error 5).