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