Operator-based semantics for choice programs: is choosing losing? (full version)

Jesse Heyninck

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 b…