The 5th generation project found that Prolog isn't very parallelizable and thus they created a language called KL1 which was more parallelizable than Prolog but not as good in other ways.