Higher-order logic programming: An expressive language for representing qualitative preferences

@article{Charalambidis2016HigherorderLP,
  title={Higher-order logic programming: An expressive language for representing qualitative preferences},
  author={Angelos Charalambidis and Panos Rondogiannis and Antonis Troumpoukis},
  journal={Sci. Comput. Program.},
  year={2016},
  volume={155},
  pages={173-197}
}
We consider the problem of concisely representing and handling preferences in logic programming and relational databases. Our starting point is a well-known proposal [8] which advocates the embedding of first-order preference formulas into relational algebra through a single winnow operator that is parameterized by a database relation and a preference… CONTINUE READING