In the future, I believe that a significant amount of &#x27;sciencing&#x27; will be done by AI; collecting facts from various disciplines, seeing how they fit together and where there are gaps, and so on. Cross-disciplinary knowledge  is something that often yields gold, but getting more and more difficult for humans to have.<p>So, it&#x27;s near certain that such an AI (or multiple ones) will be built and used, and from your description, a Prolog-like language might be ideal for this. This is something I&#x27;m excited to see in my lifetime.