SLDR-DL: A Framework for SLD-Resolution with Deep Learning

Cheng-Hao Cai

This paper introduces an SLD-resolution technique based on deep learning. This technique enables neural networks to learn from old and successful resolution processes and to use le…