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: &PredicateTable,
    config: Config,
) -> PredReturn
Expand description

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