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