Additional Key Words and Phrases: associative processing, first-order predicate calculus, resolution, subsumption, theorem-proving, unification
Selected references
- J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23-41, January 1965.