描述了一种逻辑编程语言,这种语言用于构建形式化规格的基础