We present an extension of miniKanren with the negation operator based on the method of constructive negation. The idea of this method is to constructively build a stream of answers for the negated goal by collecting and negating individual answers to the positive version of the goal. As we demonstrate on the series of examples constructive negation suits to pure logical nature of miniKanren: the relations involving the negation operator still can be “run” in various directions.