From a3dc6d2bef733e379c06de33bb8effd7fca97b84 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 15 Oct 2018 20:07:48 -0600 Subject: [PATCH] add expand_term/2 --- src/prolog/lib/builtins.pl | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl index a8a0023f..9ec86330 100644 --- a/src/prolog/lib/builtins.pl +++ b/src/prolog/lib/builtins.pl @@ -6,7 +6,8 @@ (=:=)/2, (-)/1, (>=)/2, (=<)/2, (,)/2, (->)/2, (;)/2, (=..)/2, (==)/2, (\==)/2, (@=<)/2, (@>=)/2, (@<)/2, (@>)/2, (=@=)/2, (\=@=)/2, (:)/2, call_with_inference_limit/3, catch/3, - current_prolog_flag/2, set_prolog_flag/2, term_variables/2, + current_prolog_flag/2, expand_term/2, set_prolog_flag/2, + term_variables/2, setup_call_cleanup/3, throw/1, true/0, false/0]). /* this is an implementation specific declarative operator used to implement call_with_inference_limit/3 @@ -205,6 +206,10 @@ get_args([Arg|Args], Func, I0, N) :- '$call_with_default_policy'(I1 is I0 + 1), '$call_with_default_policy'(get_args(Args, Func, I1, N)). +% expand_term. + +expand_term(Term0, Term) :- '$expand_term'(Term0, Term). + % term_variables. can_be(Type, Term) :- error:can_be(Type, Term). -- 2.54.0