Distinguished variables are variables present in the heads of the rules of a DATALOG (or PRO-LOG) program. Except for their relevance to a query, they are as undistinguished by previous works as others, introduced by resolution steps. What if the selection rule rst selects literals with at least one distinguished variable ? This paper is an attempt to answer this question. To do this, we rst de...
