英国帝国理工学院计算机系论文

作为逻辑程序的立法[英]罗伯特·A.科瓦尔斯基(著)杨安卓赵舒婷(译)*[摘要]立法通常采用的语言风格与逻辑编程语言有许多相似之处。然而，1981年《英国国籍法》...