diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index 10aee83d..aa573b92 100644
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -386,7 +386,7 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker>
                                 code.push(is_call!(temp_v!(1)));
                             },
                             _ => {
-                                return Err(ParserError::from(ArithmeticError::InvalidTerm));
+                                code.push(fail!());
                             }
                         }
                     },