Skip to main content

not

prolog2::predicate_modules::meta_predicates

Function not 

Source 
pub fn not(
    heap: &mut QueryHeap,
    hypothesis: &mut Hypothesis,
    goal: usize,
    predicate_table: Arc<PredicateTable>,
    config: Config,
) -> PredReturn
Expand description

Negation as failure: succeeds if the inner goal cannot be proven