SLDR-DL: A Framework for SLD-Resolution with Deep Learning
Logic in computer science: modelling and reasoning about systems