Package standup.unify

This package provides unification facilities used during the STANDUP joke generation process.

See:
Description

Interface Summary

Unifiable

Represents a unifiable object.

Class Summary

Bindings	Stores the results of a unification.
UnifiableCompound	Implementation of compound object.
UnifiableConstant	Represents a unifiable String constant.
UnifiableList	Represents a unifiable list.
UnifiableListVar	Represents a unifiable list of UnifiableVariables.
UnifiableVariable	Represents a unifiable variable.
Unification	A class that provides static methods for performing unification of two Unifiable objects.

Package standup.unify Description

This package provides unification facilities used during the STANDUP joke generation process.

Two Unifiable objects can be unified together using the Unification.unify methods. The unification process itself is non-destructive: the Unifiable objects are not altered. Instead, it creates a Bindings object which stores all the variable bindings. Use Bindings.dereference(Unifiable) to obtain the result of the unification.

Supports unification of:

• lists (UnifiableList), and
• compounds (UnifiableCompound), which consist of a functor (Unifiable) and a list (UnifiableList).