From 7db38904537603dabe960f32fa505e27db89e27b Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Sat, 3 Jul 2021 18:58:07 +0000
Subject: Start adding support for read_term and write_term

---
 stdlib.pl | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

(limited to 'stdlib.pl')

diff --git a/stdlib.pl b/stdlib.pl
index 4973c3e..7a744c4 100644
--- a/stdlib.pl
+++ b/stdlib.pl
@@ -105,3 +105,35 @@ resource_error(Resource) :-
 
 syntax_error(Error) :-
 	throw(error(syntax_error(Error), _)).
+
+% Input and output
+
+read_term(Term, Options) :-
+	current_input(S),
+	read_term(S, Term, Options).
+
+read(Term) :-
+	current_input(S),
+	read_term(S, Term, []).
+
+write_term(Term, Options) :-
+	current_output(S),
+	write_term(S, Term, Options).
+
+write(Term) :-
+	current_output(S),
+	write_term(S, Term, [numbervars(true)]).
+
+writeq(Term) :-
+	current_output(S),
+	write_term(S, Term, [quoted(true), numbervars(true)]).
+
+writeq(S, Term) :-
+	write_term(S, Term, [quoted(true), numbervars(true)]).
+
+write_canonical(Term) :-
+	current_output(S),
+	write_term(S, Term, [quoted(true), ignore_ops(true)]).
+
+write_canonical(S, Term) :-
+	write_term(S, Term, [quoted(true), ignore_ops(true)]).
-- 
cgit v1.2.3