I thought Prolog was just a Japanese joke that American Lisp programmers played along with in order to get US Government funding.