Implementing Derivations of Definite Logic Programs with Self-Attention Networks

Open in new window