SLDR-DL: A Framework for SLD-Resolution with Deep Learning
Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks