摘要：立法通常采用的語(yǔ)言風(fēng)格與邏輯編程語(yǔ)言有許多相似之處。然而,1981年《英國(guó)國(guó)籍法》《密歇根大學(xué)租賃終止條款》和《倫敦地鐵緊急情況告示》中的法律語(yǔ)言示例表明,邏輯編程的基本模型可以通過(guò)幾種方式得到有效的擴(kuò)展。這些擴(kuò)展包括類(lèi)型的引入、相關(guān)條款、普通否定和擊敗否定、完整性約束、元推理和程序符號(hào)。除立法和編程之間的相似處之外,法律與算法還有其他重要的相似之處。例如,它需要根據(jù)社會(huì)和政治規(guī)范來(lái)驗(yàn)證立法,并且需要組織、開(kāi)發(fā)、維護(hù)和重復(fù)使用大量復(fù)雜的法律規(guī)范和程序。算法和法律之間的相似性表明,這些不同領(lǐng)域之間有可能實(shí)現(xiàn)有效結(jié)論與技術(shù)手段之間的雙向轉(zhuǎn)換。本文探討的一種可能性是,適當(dāng)擴(kuò)展的邏輯程序設(shè)計(jì)語(yǔ)言的語(yǔ)言結(jié)構(gòu),是使立法語(yǔ)言本身變得更簡(jiǎn)單、清晰的可能方式。