Highly Influenced

# Unification: A Multidisciplinary Survey

@article{Knight1989UnificationAM, title={Unification: A Multidisciplinary Survey}, author={Kevin Knight}, journal={ACM Comput. Surv.}, year={1989}, volume={21}, pages={93-124} }

- Published 1989 in ACM Comput. Surv.
DOI:10.1145/62029.62030

The unification problem and several variants are presented. Various algorithms and data structures are discussed. Research on unification arising in several areas of computer science is surveyed; these areas include theorem proving, logic programming, and natural language processing. Sections of the paper include examples that highlight particular uses of unification and the special problems encountered. Other topics covered are resolution, higher order logic, the occur check, infinite terms… CONTINUE READING

#### From This Paper

##### Figures, tables, and topics from this paper.

#### Citations

##### Publications citing this paper.

#### References

##### Publications referenced by this paper.

Showing 1-10 of 10 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential