From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 16 Oct 2018 02:07:48 +0000 (-0600)
Subject: add expand_term/2
X-Git-Tag: v0.8.110~332
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a3dc6d2bef733e379c06de33bb8effd7fca97b84;p=scryer-prolog.git

add expand_term/2
---

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).