Package edu.harvard.seas.pl.abcdatalog.util.substitution

Interface TermUnifier

All Superinterfaces:
Substitution
All Known Implementing Classes:
UnionFindBasedUnifier
public interface TermUnifier extends Substitution
A substitution that allows a variable to be mapped to (i.e., unified with) multiple terms, as long as no two of those terms are constants.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    unify(Variable u, Term v)
    Attempts to unify a variable with a term.

    Methods inherited from interface edu.harvard.seas.pl.abcdatalog.util.substitution.Substitution

    apply, get

  • Method Details

    • unify

      boolean unify(Variable u, Term v)
      Attempts to unify a variable with a term. Returns a boolean representing whether the unification was successful. Unification fails if it would lead to a variable being unified with two distinct constants.
      Parameters:
      u - the variable
      v - the term
      Returns:
      whether the unification was successful