Abstract
This paper describes how the deductive power of Prolog can be made available across the Internet using standardized Web services technologies. This facilitates the use of Prolog as a component of distributed information systems and in many new application scenarios. Some of those application scenarios are discussed and one is presented in greater detail. Since a lot of information available on the Internet is nowadays Xml based and since Web services technologies use Xml based encodings, it is both necessary and useful to be able to process Xml documents in Prolog itself. To make this possible, a new package for Swi–Prolog called x2p is introduced, making available to Prolog many of the Xml processing facilities of the Libxml2 library, which is a very up–to–date and efficient implementation of most of the current Xml related standards.
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
Preview
Unable to display preview. Download preview PDF.
References
Berners–Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)
Association For Computing Machinery. SIGMOD Record in XML, http://www.acm.org/sigmod/record/xml/
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2004)
Chen, Y., Hsu, W., Hung, P.: Towards Web Automation by Integrating Semantic Web and Web Service. In: Proc. of the 12th Intl. World Wide Web Conference (2003)
van Engelen, R.: The gSOAP toolkit. Florida State University, http://www.cs.fsu.edu/~engelen/soap.html
GNU Network Object Model Environment, http://www.gnome.org
Heumesser, B., Schimkat, R.: Deduction on XML Documents: A Case Study. In: Proc. of the 14th Intl. Conf. on Applications of PROLOG (INAP) (2001)
Veillard, D.: Libxml2, http://www.xmlsoft.org
Ley, M.: Digital Bibliography & Library Project (DBLP) XML records, http://dblp.uni-trier.de/xml/
Ludwig, A., Güntzer, U.: An Information Brokering Framework. In: Proc. of the 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI) (2003)
Malaika, S., Nelin, C.J., Qu, R., Reinwald, B., Wolfson, D.C.: DB2 and Web services. IBM Systems Journal 41(4) (2002)
Seipel, D.: Processing XML–Documents in PROLOG. In: Workshop on Logic Programming (WLP) (2002)
Simple Object Access Protocol (SOAP) Version 1.2, W3C Recommendation, http://www.w3.org/TR/soap12-part0/
Universal Description, Discovery and Integration (UDDI) protocol, OASIS Standards Consortium, http://uddi.org/
Web Services Architecture Working Group. Web Services Architecture Requirements, W3C Working Draft, http://www.w3.org/TR/wsa-reqs
Web Services Description Language (WSDL) Version 2.0, W3C Working Draft, http://www.w3.org/TR/wsdl20/
Web Services Description Working Group, http://www.w3.org/2002/ws/desc/
Wielenmaker, J.: SWI–PROLOG Reference Manual, http://www.swi-prolog.org/
Extensible Markup Language (XML) 1.1, W3C Proposed Recommendation, http://www.w3.org/XML/Core/#Publication
XML Path Language (XPATH) Version 1.0, W3C Recommendation, http://www.w3.org/TR/xpath
XQUERY 1.0: An XML Query Language, W3C Working Draft, http://www.w3.org/TR/xquery
XSL Tranformations (XSLT), World Wide Web Consortium (W3C) (August 2002), http://www.w3.org/TR/xslt20/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heumesser, B.D., Ludwig, A., Seipel, D. (2005). Web Services Based on Prolog and Xml . In: Seipel, D., Hanus, M., Geske, U., Bartenstein, O. (eds) Applications of Declarative Programming and Knowledge Management. INAP WLP 2004 2004. Lecture Notes in Computer Science(), vol 3392. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11415763_16
Download citation
DOI: https://doi.org/10.1007/11415763_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25560-4
Online ISBN: 978-3-540-32124-8
eBook Packages: Computer ScienceComputer Science (R0)