Joint Abductive and Inductive Neural Logical Reasoning - View it on GitHub