Package astra.reasoner

Interface FormulaUnifier

All Known Implementing Classes:

AcreFormulaUnifier, ANDUnifier, FormulaVariableUnifier, PredicateUnifier

public interface FormulaUnifier

Method Summary

Modifier and Type	Method	Description
boolean	isApplicable(Formula source, Formula target)
Map<Integer,Term>	unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)

Method Details

isApplicable

boolean isApplicable(Formula source, Formula target)

unify

Map<Integer,Term> unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)