[本文摘要]

在实际的网络应用中，相比客户端的形式，人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的Web服务组合管理关键技术的研究成功，将解决目前服务组合管理中的许多关键问题。本文主要研究人工智能语言Prolog在该项目中的应用与发展，用情景演算理论作为推导理论，并用逻辑编程语言对服务内容加以描述，同时在Prolog的基础上扩展到对Golog语言的研究，并在此基础上针对Web服务需求做出了一些推论。