{"product_id":"abramson-harvey-meta-programming-in-logic-programming-9780262510479","title":"Meta-Programming in Logic Programming","description":"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. Meta-programs, which treat other computer programs as data, include compilers, editors, simulators, debuggers, and program transformers. Because of the wide ranging applications, meta-programming has become a subject of considerable practical and theoretical interest. This book provides the first comprehensive view of topics in the theory and application 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. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":54611405504854,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9780262510479_1.jpg?v=1791320602","url":"https:\/\/www.momoxbooks.com\/products\/abramson-harvey-meta-programming-in-logic-programming-9780262510479","provider":"momox","version":"1.0","type":"link"}