From 9ed0389186e4a69afd1a3d5a6b033cae98df54bd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 5 Nov 2015 17:25:09 +0000
Subject: [PATCH] file press used by Prolog

---
 pl/yio.yap | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/pl/yio.yap b/pl/yio.yap
index b722cc405..7c50224d5 100644
--- a/pl/yio.yap
+++ b/pl/yio.yap
@@ -332,7 +332,9 @@ current_char_conversion(X,Y) :-
 '$fetch_char_conversion'([_,_|List],X,Y) :-
 	'$fetch_char_conversion'(List,X,Y).
 
-
+split_path_file(File, Path, Name) :-
+	file_directory_name(File, Path),
+	file_base_name(File, Name).
 
 /** @pred  current_stream( _F_, _M_, _S_) 
 
@@ -387,6 +389,17 @@ current_stream(File, Mode, Stream) :-
 	'$add_file_search_paths'(Paths).
 
 
+prolog_file_name(File, PrologFileName) :-
+	var(File), !,
+	'$do_error'(instantiation_error, prolog_file_name(File, PrologFileName)).
+prolog_file_name(user, Out) :- !, Out = user.
+prolog_file_name(File, PrologFileName) :-
+	atom(File), !,
+	system:true_file_name(File, PrologFileName).
+prolog_file_name(File, PrologFileName) :-
+	'$do_error'(type_error(atom,File),
+		    prolog_file_name(File, PrologFileName)).
+
 '$format@'(Goal,Out) :-
 	with_output_to(codes(Out), Goal).