The Clausal Theory of Types
D. A. Wolfram
Gebundenes Buch

The Clausal Theory of Types

Versandkostenfrei!
Versandfertig in 1-2 Wochen
69,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
35 °P sammeln!
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational un...