replace Char '!' with QueryTerm::BlockedCut

diff --git a/src/machine/preprocessor.rs b/src/machine/preprocessor.rs
index c063bd6f1224ce950c19e55037bff19e066415f5..a6e3f1e30a6048812bd02b9796d3365d6789ce8f 100644 (file)
--- a/src/machine/preprocessor.rs
+++ b/src/machine/preprocessor.rs
@@ -712,6 +712,9 @@ impl Preprocessor {
                     Ok(clause_to_query_term(load_state, name, vec![], fixity))
                 }
             }
+            Term::Constant(_, Constant::Char('!')) => {
+                Ok(QueryTerm::BlockedCut)
+            }
             Term::Var(_, ref v) if v.as_str() == "!" => {
                 Ok(QueryTerm::UnblockedCut(Cell::default()))
             }