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