diff --git a/implementations/GNUProlog/parser.prolog b/implementations/GNUProlog/parser.prolog
index 46aa34d..716c289 100644
--- a/implementations/GNUProlog/parser.prolog
+++ b/implementations/GNUProlog/parser.prolog
@@ -87,5 +87,5 @@ stdin_to_codes(Code, [Code|Codes]) :-
 :- initialization((
     stdin_to_codes(Codes),
     text_to_expression(Codes, Expr),
-    write_term(Expr, [quoted(true)]), print('\n')
+    write_term(Expr, [quoted(true)]), print('.\n')
     )).
diff --git a/implementations/GNUProlog/printer.prolog b/implementations/GNUProlog/printer.prolog
index c873ad0..b8a4d6e 100644
--- a/implementations/GNUProlog/printer.prolog
+++ b/implementations/GNUProlog/printer.prolog
@@ -17,7 +17,7 @@ codes_to_stream([Code|Codes], Stream) :-
 codes_to_stream([], _).
 
 :- initialization((
-    read_term(AST, [end_of_term(eof)]),
+    read_term(AST, []),
     format_joy_terms(AST, Codes, []),
     codes_to_stream(Codes, user_output), print('\n')
     )).
diff --git a/implementations/GNUProlog/thun.prolog b/implementations/GNUProlog/thun.prolog
index 2f1dc17..1ee49f8 100644
--- a/implementations/GNUProlog/thun.prolog
+++ b/implementations/GNUProlog/thun.prolog
@@ -66,8 +66,8 @@ combo(loop, [list(B),  bool(true)|S], S, Ei, Eo) :- append(B, [list(B), symbol(l
 
 
 :- initialization((
-    read_term(AST, [end_of_term(eof)]),
+    read_term(AST, []),
     thun(AST, [], Stack),
-    write_term(Stack, [quoted(true)]), print('\n')
+    write_term(Stack, [quoted(true)]), print('.\n')
     )).
 
diff --git a/implementations/SWIProlog/eval_joy_ast b/implementations/SWIProlog/eval_joy_ast
deleted file mode 100755
index ea19de5..0000000
Binary files a/implementations/SWIProlog/eval_joy_ast and /dev/null differ