论文标题
Privalog：一种隐私意识的逻辑编程语言
PrivaLog: a privacy-aware logic programming language
论文作者
论文摘要
逻辑编程（LP）是声明性编程的子类别，对于非程序员而言被认为相对简单。 LP开发人员专注于描述逻辑推导的事实和规则，而无需考虑实际实施该派生的算法。 安全多党计算（MPC）是一种加密技术，可以在私人数据上执行计算，而无需实际看到数据。在本文中，我们将MPC和LP的概念汇总在一起，使用户可以使用逻辑编程语言编写隐私的应用程序。
Logic Programming (LP) is a subcategory of declarative programming that is considered to be relatively simple for non-programmers. LP developers focus on describing facts and rules of a logical derivation, and do not need to think about the algorithms actually implementing the derivation. Secure multiparty computation (MPC) is a cryptographic technology that allows to perform computation on private data without actually seeing the data. In this paper, we bring together the notions of MPC and LP, allowing users to write privacy-preserving applications in logic programming language.
