pub fn is_pred(
heap: &mut QueryHeap<'_>,
_hypothesis: &mut Hypothesis,
goal: usize,
_pred_table: &PredicateTable,
_config: Config,
) -> PredReturnExpand description
is/2 predicate: evaluates RHS and unifies with LHS
pub fn is_pred(
heap: &mut QueryHeap<'_>,
_hypothesis: &mut Hypothesis,
goal: usize,
_pred_table: &PredicateTable,
_config: Config,
) -> PredReturnis/2 predicate: evaluates RHS and unifies with LHS