add call support for acyclic_term

2018-03-28 21:20:50 -06:00
parent 80b59bae83
commit 94939e793b
2 changed files with 11 additions and 2 deletions
--- a/src/prolog/macros.rs
+++ b/src/prolog/macros.rs
@@ -728,6 +728,12 @@ macro_rules! keysort_execute {
    )
 }

+macro_rules! acyclic_term_execute {
+    () => (
+        Line::Control(ControlInstruction::CallClause(ClauseType::AcyclicTerm, 1, 0, true))
+    )
+}
+
 macro_rules! return_from_clause {
    ($lco:expr, $machine_st:expr) => {{
        if $lco {