[pjc50]

That was the last generation of AI attempts: things like Cyc https://cyc.com/ , trying to turn all of human knowledge into a really big database of predicate logic.