pub fn not_join<C: Into<Clause>>( vars: Vec<Var>, clauses: impl IntoIterator<Item = C>, ) -> Clause
A (not-join [vars] clauses...) clause.
(not-join [vars] clauses...)