• Home
• com.astralanguage
• astra-interpreter
• 1.4.4
• source code
• FormulaUnifier.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

astra.reasoner.FormulaUnifier Maven / Gradle / Ivy

package astra.reasoner;

import java.util.Map;

import astra.core.Agent;
import astra.formula.Formula;
import astra.term.Term;

public interface FormulaUnifier {
    boolean isApplicable(Formula source, Formula target);
    Map unify(Formula source, Formula target, Map bindings, Agent agent);
}