Abstract
Over the last decade significant theoretical and practical advances have been made in several key logic programming technologies, notably abstract interpretation, program transformations, constraint processing, tabling and semantics of negation. These advances have contributed to the development of a new generation of powerful and efficient logic programming systems that are beginning to be deployed as the implementation platform in state-of-the-art tools in different application domains.
This talk will describe the current status and future plans of two such systems, XMC and WebRover, implemented using the XSB tabled logic programming system that embodies many of these advances.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ramakrishnan, I.V. (1999). Current Trends in Logic Programming: Prospects and Promises (Abstract). In: Pontelli, E., Santos Costa, V. (eds) Practical Aspects of Declarative Languages. PADL 2000. Lecture Notes in Computer Science, vol 1753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46584-7_22
Download citation
DOI: https://doi.org/10.1007/3-540-46584-7_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66992-0
Online ISBN: 978-3-540-46584-3
eBook Packages: Springer Book Archive