1. Antonov, Krizhanovsky Composition of web-services using Prolog // SPIIRAS Proceedings. 2007. № 5. C. 66-70.