Type Alias PredicateFunction 

pub type PredicateFunction = fn(&mut QueryHeap, &mut Hypothesis, usize, Arc<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
• Arc<PredicateTable> — the program’s predicate table
• Config — engine configuration