replace Char '!' with QueryTerm::BlockedCut
This commit is contained in:
@@ -712,6 +712,9 @@ impl Preprocessor {
|
|||||||
Ok(clause_to_query_term(load_state, name, vec![], fixity))
|
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() == "!" => {
|
Term::Var(_, ref v) if v.as_str() == "!" => {
|
||||||
Ok(QueryTerm::UnblockedCut(Cell::default()))
|
Ok(QueryTerm::UnblockedCut(Cell::default()))
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user