PrivaLog: a privacy-aware logic programming language
This work addresses privacy concerns for users of logic programming by providing a novel integration with cryptographic techniques, though it appears incremental as it combines existing MPC and LP concepts.
The paper tackled the problem of enabling privacy-preserving applications by integrating secure multiparty computation (MPC) with logic programming (LP), allowing users to write such applications in a logic programming language without needing to see private data.
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.