Service Version — Provides a formal statement of the service capabilities referencing an associated SLD for the functional and non-functional specification.
服务版本—为功能性和非功能性规范提供引用相关SLD的服务功能的正式声明。
2
SlD: I don't understand, what more proof do you need?
我不明白，你还要什么证据？
3
Finite failure is the essential concept in negation as failure. It denotes that the SLD-tree for a goal is finite and all branches of the tree fail.