Implementing Derivations of Definite Logic Programs with Self-Attention Networks