Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

The Clausal Theory of Types

- Wolfram, D: Clausal Theory of Types

Bog
  • Format
  • Bog, paperback
  • Engelsk

Beskrivelse

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-Goedel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest to all working in declarative programming.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal136
  • Udgivelsesdato30-07-2009
  • ISBN139780521117906
  • Forlag Cambridge University Press
  • Nummer i serien21
  • FormatPaperback
Størrelse og vægt
  • Vægt230 g
  • Dybde0,7 cm
  • coffee cup img
    10 cm
    book img
    17 cm
    24,4 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Machine Name: SAXO084