During the late 1920s, Jacques Herbrand, a young mathematician, developed a method to check the validity of a class of first-order logic formulas. In his thesis, published in 1931, Herbrand discussed what can be considered the first unification procedure. Unification is at the heart of modern implementations of logic programming languages
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
Copyright information
© 2009 Springer-Verlag London Limited
About this chapter
Cite this chapter
Fernández, M. (2009). Logic-Based Models of Computation. In: Models of Computation. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-1-84882-434-8_5
Download citation
DOI: https://doi.org/10.1007/978-1-84882-434-8_5
Publisher Name: Springer, London
Print ISBN: 978-1-84882-433-1
Online ISBN: 978-1-84882-434-8
eBook Packages: Computer ScienceComputer Science (R0)