Meta-Programming in Logic Programming

Zusammenfassung A comprehensive survey of the theory and applications of meta-programming! covering problems of representation and of soundness and correctness of interpreters! analysis and evaluation of meta-logic programs! and applications to sophisticated knowledge-based systems.

Détails du produit

• Auteurs: Harvey Rogers Abramson
• Collaboration: Harvey Abramson (Editeur), M H. Rogers (Editeur), M. H. Rogers (Editeur), M.H. Rogers (Editeur)
• Edition: The MIT Press
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 04.10.1989
• EAN: 9780262510479
• ISBN: 978-0-262-51047-9
• Pages: 560
• Thèmes: Linguistic Inquiry Monographs; Logic Programming; Meta-Programming in Logic Programming; Logic Programming
• Catégories: Livres de conseils; Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Général, dictionnaires