fix expand_goal and expand_term

diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl
index 418914fbd6f709d8ddc0f8b65cd6f7efac9bde04..bb0bdb7205301847bd3ce11c85b11b2a9631640f 100644 (file)
--- a/src/prolog/lib/builtins.pl
+++ b/src/prolog/lib/builtins.pl
@@ -226,11 +226,11 @@ writeq(Term) :- write_term(Term, [quoted(true), numbervars(true)]).
 
 % expand_goal.
 
-expand_goal(Term0, Term) :- '$expand_goal'(Term0, Term), !.
+expand_goal(Term0, Term) :- '$expand_goal'(Term0, Term).
 
 % expand_term.
 
-expand_term(Term0, Term) :- '$expand_term'(Term0, Term), !.
+expand_term(Term0, Term) :- '$expand_term'(Term0, Term).
 
 % term_variables.
 

diff --git a/src/prolog/machine/system_calls.rs b/src/prolog/machine/system_calls.rs
index b0282df9c3bf2f7efd81322e33a5454b642d8936..a4fab360aa9cc3cd060d1f1555967c192d52d6fe 100644 (file)
--- a/src/prolog/machine/system_calls.rs
+++ b/src/prolog/machine/system_calls.rs
@@ -205,11 +205,11 @@ impl MachineState {
             },
             &SystemClauseType::ExpandGoal => {
                 self.p = CodePtr::Local(LocalCodePtr::UserGoalExpansion(0));
-//                return Ok(());
+                return Ok(());
             },
             &SystemClauseType::ExpandTerm => {
                 self.p = CodePtr::Local(LocalCodePtr::UserTermExpansion(0));
-//                return Ok(());
+                return Ok(());
             },
             &SystemClauseType::GetDoubleQuotes => {
                 let a1 = self[temp_v!(1)].clone();