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

Understand

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 learnt experiences to guide new resolution processes.
• An implementation of this technique is named SLDR-DL.
• It includes a Prolog library of deep feedforward neural networks and some essential functions of resolution.