Deep Learning for Generalised Planning with Background Knowledge