Embedding Symbolic Knowledge into Deep Networks