We propose a new kind of logic variables – wildcard variables – as a limited form of universal quantification. Combined with disequality constraints they extend the expressive power of OCanren – typed dialect of miniKanren, and enrich subset of OCaml programs that could be automatically converted to relational ones. We also report our progress on applying this idea to a task of synthesizing pattern matching compilation scheme.