inline atomic and var

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index ac6d01d2ffeb9bf7c9ce6209dc55c500af8c8039..c2db9bf1733f4f39cf3a17fe85315888a5c4e242 100644 (file)
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -291,10 +291,10 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker>
                     &QueryTermRef::IsAtomic(term) =>
                         match term {
                             &Term::AnonVar | &Term::Clause(_, _, _) | &Term::Cons(_, _, _) => {
-                                code.push(goto!(61, 0)); // goto false/0.
+                                code.push(fail!()); //goto!(61, 0)); // goto false/0.
                             },
                             &Term::Constant(_, _) => {
-                                code.push(goto!(75, 0)); // goto succeed/0.
+                                code.push(succeed!()); //goto!(75, 0)); // goto succeed/0.
                             },
                             &Term::Var(ref vr, ref name) => {
                                 let mut target = Vec::new();
@@ -308,10 +308,10 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker>
                     &QueryTermRef::IsVar(term) =>
                         match term {
                             &Term::Constant(_, _) | &Term::Clause(_, _, _) | &Term::Cons(_, _, _) => {
-                                code.push(goto!(61, 0)); // goto false/0.
+                                code.push(fail!()); //goto!(61, 0)); // goto false/0.
                             },
                             &Term::AnonVar => {
-                                code.push(goto!(75, 0)); // goto succeed/0.
+                                code.push(succeed!()); //goto!(75, 0)); // goto succeed/0.
                             },
                             &Term::Var(ref vr, ref name) => {
                                 let mut target = Vec::new();

diff --git a/src/prolog/parser b/src/prolog/parser
index bd67de182d877db77ccd209be1b5a1d1ecf01855..da30488df7e1a35f8ab0c0678cea85474a47a7ee 160000 (submodule)
--- a/src/prolog/parser
+++ b/src/prolog/parser
@@ -1 +1 @@
-Subproject commit bd67de182d877db77ccd209be1b5a1d1ecf01855
+Subproject commit da30488df7e1a35f8ab0c0678cea85474a47a7ee