Type Alias PredicateFunction 

pub type PredicateFunction = for<'a> fn(&mut QueryHeap<'a>, &mut Hypothesis, usize, &PredicateTable, Config) -> PredReturn;

Signature for a predicate function.

Arguments:

• &mut QueryHeap — the current proof’s working heap
• &mut Hypothesis — the current learned hypothesis (may be extended)
• usize — heap address of the goal term being resolved
• &PredicateTable — the program’s predicate table
• Config — engine configuration