Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective