Choice constructs are an important part of the language of logic programming, yet the study of their semantics has been a challenging task. So far, only two-valued semantics have been studied, and the different proposals for such semantics have not been compared in a principled way. In this paper, an operator-based framework allow for the definition and comparison of different semantics in a principled way is proposed.

翻译：选择构造是逻辑编程语言的重要组成部分，然而对其语义的研究一直是一项具有挑战性的任务。迄今为止，仅有两值语义被研究过，且针对此类语义的不同提案尚未以系统化的方式进行过比较。本文提出了一种基于算子的框架，该框架允许以系统化的方式定义和比较不同的语义。