diff --git a/src/machine/preprocessor.rs b/src/machine/preprocessor.rs index c063bd6f..a6e3f1e3 100644 --- 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())) }