Implementations of Logic Programming Systems 1994 Edition Contributor(s): Tick, Evan (Editor), Succi, Giancarlo (Editor) |
|
ISBN: 0792394577 ISBN-13: 9780792394570 Publisher: Springer OUR PRICE: $104.49 Product Type: Hardcover - Other Formats Published: July 1994 Annotation: This volume is a collection of research papers in the area of the implementation of logic programming systems. It will be of immediate interest to practitioners who seek an understanding of how to efficiently manage memory, generate fast code, perform sophisticated static analyses, and design high-performance runtime features.A major theme throughout the book is how to effectively leverage host implementation systems and technologies to implement target systems. The book is also beneficial for future reference because it summarizes a wealth of systems implementation experience of the researchers shaping the field over the past ten years.Another theme of the book is compilation techniques to boost performance. The field of static analysis for logic programs is a rapidly developing field that deserves a volume on its own.Implementations of Logic Programming Systems is an excellent reference and may be used as a text for a course on the subject. |
Additional Information |
BISAC Categories: - Computers | Programming - Object Oriented - Computers | Operating Systems - General - Computers | Programming Languages - General |
Dewey: 005.11 |
LCCN: 94010811 |
Physical Information: 0.91" H x 6.32" W x 9.72" (1.26 lbs) 262 pages |
Descriptions, Reviews, Etc. |
Publisher Description: In conjunction with the 1993 International Conference on Logic Programming (ICLP'93), held in Budapest Hungary, two workshops were held concerning the implementations of logic programming systems: Practical Implementations and Sys- tems Experience in Logic Programming Systems, and Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems. This collection presents 16 research papers in the area of the implementation of logic programming systems. The two workshops aimed to bring together sys- tems implementors for discussing real problems coming from their direct experience, therefore these papers have a special emphasis on practice rather than on theory. This book will be of immediate interest to practitioners who seek understanding of how to efficiently manage memory, generate fast code, perform sophisticated static analyses, and design high-performance runtime features. A major theme, throughout the papers, is how to effectively leverage host imple- mentation systems and technologies to implement target systems. Debray discusses implementing Janus in SICStus Prolog by exploiting the delay primitive, which is fur- ther expounded by Meier in his discussion of various ECRC systems implementations of delay primitives. Hausman discusses implementing Erlang in C, and Czajkowski and Zielinski discuss embedding Linda primitives in Strand. Denti et ai. discuss implementing object-oriented logic programs within SICStus Prolog, a theme also explored and compared to a WAM-based implementation by Bugliesi and Nardiello. |