Programming with higher-order logic /

"Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a c...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Miller, Dale (Dale A.)
Otros Autores: Nadathur, Gopalan
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2012.
Temas:
Logic programming.
Prolog (Computer program language)
Programmation logique.
Prolog (Langage de programmation)
COMPUTERS > Programming Languages > General.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > General.
COMPUTERS > Software Development & Engineering > Tools.
Logic programming
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Introduction
  • First-order terms and representations of data
  • First-order horn clauses
  • First-order hereditary Harrop formulas
  • Typed [lambda]-terms and formulas
  • Using quantification at higher-order types
  • Mechanisms for structuring large programs
  • Computations over [lambda]-terms
  • Unification of [lambda]-terms
  • Implementing proof systems
  • Computations over functional programs
  • Encoding a process calculus language
  • Appendix.

Ejemplares similares