Interpreter.PrologInterpreter.Sexp.Utils
Class SexpUnifier

java.lang.Object
  |
  +--Interpreter.PrologInterpreter.Sexp.Utils.SexpUnifier

Direct Known Subclasses:

Unifier

public abstract class SexpUnifier

extends java.lang.Object

La classe Unifier realizza un algoritmo per l'unificazione. L'algoritmo unifica 2 Sexp fornendo la lista delle sostituzioni effettuate.

Constructor Summary

SexpUnifier()

Method Summary

abstract Sexp

unify(Sexp a, Sexp b) Prova ad unificare i due termini a e b.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SexpUnifier

public SexpUnifier()

Method Detail

unify

public abstract Sexp unify(Sexp a,
                           Sexp b)
                    throws InterpreterException

Prova ad unificare i due termini a e b.

Parameters:

a - primo termine.

b - secondo termine.

Returns:

restituisce la lista delle variabili che sono state aggiunte alla tabella Substitution. Se l'unificazione non ha successo viene restituito null.