the fifth generation computers didn't "run prolog", they were completely new forms of concurrent constraint logic/dataflow hybrid architectures using Prolog-lik

the fifth generation computers didn't "run prolog", they were completely new forms of concurrent constraint logic/dataflow hybrid architectures using Prolog-like Horn clause notation for user end programming, which the US Navy implemented successfully around the same time but you don't hear about as much