@Gargron I suspect it may be still a bit of an anti-climax.... I used to have a lot of high expectations of AI, because I thought Prolog was going to take off as a language... And Prolog *is* an amazing language... But it never really happened, and the so-called *big* AI language, Python, seems to me still to be really just a procedural language upgraded with object orientation... Prolog, on the other hand, genuinely is an AI language... in my humble opinion, anyway...