Meta-programming in logic programming

✍ Scribed by Harvey Abramson, M H. Rogers (ed.)

Publisher: The MIT Press
Year: 1989
Tongue: English
Leaves: 561
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.Harvey Abramson is Reader in Computer Science at the University of Bristol, England; M. H. Rogers is Professor of Computer Science, also at the University of Bristol. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.

📜 SIMILAR VOLUMES

Programmable Logic Controllers Programmi

📁 Programmable Logic Controllers Programming Methods

✍ John R. Hackworth, Frederick D. Hackworth 📂 Library 📅 2003 🏛 Prentice Hall 🌐 English

This book is designed to help readers develop a good general working knowledge of programmable controllers with concentration on relay ladder logic techniques and how PLC is connected to external components in an operating control system. The book uses real world programming problems that readers ca

Programmable Logic Controllers: Hardware

📁 Programmable Logic Controllers: Hardware and Programming

✍ Max Rabiee 📂 Library 📅 2017 🏛 Goodheart-Willcox; Fourth Edition, Textbook 🌐 English

Programmable Logic Controllers: Hardware and Programming provides an introduction to PLCs and their applications in process and industrial control systems. The text begins with basic hardware and programming concepts and then progresses to system-level applications. <ul><li>To pr

Programmable Logic Controllers: Hardware

📁 Programmable Logic Controllers: Hardware and Programming

✍ Max Rabiee 📂 Library 📅 2017 🏛 Goodheart-Wilcox Publisher 🌐 English

The Lab Manual for Programmable Logic Controllers: Hardware and Programming is designed to supplement your PLC training and works in conjunction with the Programmable Logic Controllers: Hardware and Programming textbook. The activities in this manual are written to give you hands-on experience pract

Programmable logic controllers.Programmi

📁 Programmable logic controllers.Programming methods and applications

✍ Hackworth J.R. 📂 Library 🌐 English

Programmable Logic Controllers: Programm

📁 Programmable Logic Controllers: Programming Methods and Applications

✍ John R. Hackworth, Frederick D. Hackworth Jr 📂 Library 📅 2003 🏛 Prentice Hall 🌐 English

This book is designed to help readers develop a good general working knowledge of programmable controllers with concentration on relay ladder logic techniques and how PLC is connected to external components in an operating control system. The book uses real world programming problems th

Mitsubishi FX Programmable Logic Control

📁 Mitsubishi FX Programmable Logic Controllers: Applications and Programming

✍ John Ridley DipEE CEng MIEE Cert Ed 📂 Library 📅 2004 🏛 Newnes 🌐 English

John Ridley provides comprehensive information on usage, design and programming for the Mitsubishi FX range of programmable logic controllers, in this step-by-step, practical guide. Professional engineers working with Mitsubishi PLCs, as well as students following courses focusing on these devices,