From 4e8f7f0a1ba2935982749f900be176c5b3338fca Mon Sep 17 00:00:00 2001 From: Nicolas Luck Date: Mon, 7 Aug 2023 18:38:34 +0200 Subject: [PATCH] Remove unused toplevel predicate --- src/lib_toplevel.pl | 28 ---------------------------- 1 file changed, 28 deletions(-) diff --git a/src/lib_toplevel.pl b/src/lib_toplevel.pl index 1fb287c0..4b13f9a4 100644 --- a/src/lib_toplevel.pl +++ b/src/lib_toplevel.pl @@ -205,31 +205,3 @@ write_eqs(B, VarList) :- write_eq(ThreadedGoals, NewVarList0, 200000), write(';'), nl, false ). - - - - -toplevel :- - read_term(Goal, [variable_names(VNs)]), - Goal, - write('bindings(['), - write_bindings(VNs), - write(']).'), - nl, - false. - -write_bindings([]). -write_bindings([VN|VNs]) :- - write_bindings_(VNs, VN). - -write_bindings_([], VN) :- - write_binding(VN). -write_bindings_([VN|VNs], Prev) :- - write_binding(Prev), - write(','), - write_bindings_(VNs, VN). - -write_binding(Var=Val) :- - write(Var), - write(=), - write_term(Val, [quoted(true),double_quotes(true)]). \ No newline at end of file -- 2.54.0