作为逻辑程序的立法

• 作者: 杨安卓(译) 罗伯特·A.科瓦尔斯基 赵舒婷(译)
• 来源期刊: 地方立法研究
• 学科: 政治法律
• 关键词: 立法 法律 逻辑编程 程序
• 年，卷（期）: 2019,（4）
• 页码范围: 80-101
• 页数: 22页
• 分类号: D90-055

摘要

立法通常采用的语言风格与逻辑编程语言有许多相似之处。然而,1981年《英国国籍法》《密歇根大学租赁终止条款》和《伦敦地铁紧急情况告示》中的法律语言示例表明,逻辑编程的基本模型可以通过几种方式得到有效的扩展。这些扩展包括类型的引入、相关条款、普通否定和击败否定、完整性约束、元推理和程序符号。除立法和编程之间的相似处之外,法律与算法还有其他重要的相似之处。例如,它需要根据社会和政治规范来验证立法,并且需要组织、开发、维护和重复使用大量复杂的法律规范和程序。算法和法律之间的相似性表明,这些不同领域之间有可能实现有效结论与技术手段之间的双向转换。本文探讨的一种可能性是,适当扩展的逻辑程序设计语言的语言结构,是使立法语言本身变得更简单、清晰的可能方式。