pub fn is_pred(
heap: &mut QueryHeap,
_hypothesis: &mut Hypothesis,
goal: usize,
_pred_table: Arc<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: Arc<PredicateTable>,
_config: Config,
) -> PredReturnis/2 predicate: evaluates RHS and unifies with LHS