Just like you can train a neural net, you can automatically derive logical rules (which could be in Prolog). However, this only works (well) with unambiguous, near-perfect data. The real world is very ambiguous, and real world data is imperfect.<p>Ultimately, carefully curated data (something like Cyc?) May complement neural nets, helping to avoid hslluncinations.