The Fifth Generation Computer Project in Japan
sjsu.edu
sjsu.edu
Those of us who were interested in AI at SAIC, at least the people I talked with the most, were skeptical of the approach of using Prolog. This is also a personal bias since I have logged about ten years of commercial Lisp development and only perhaps six or eight months of using Prolog professionally.
That said, there are languages like Prolog, Lisp, Haskell, etc. that really help get different perspectives on developing software.
P.S.: Lest you think he was a true visionary, the AI kids went back to work on Symbolics Lisp machines, because we all knew that was the future of AI.