I'll be interested in knowing how you fare with translating the more metaprogramming-intensive parts, such as implementing a logic programming framework, of PAIP to Python.

Lisp doesn't show up much these days, but it still does appear here and there. Moshe Looks developed a program optimization AI framework in Lisp, got hired by Google, and got to continue using Lisp there, despite Google generally taking a pretty dim view on programming language proliferation, since his system apparently needs the sort of metaprogramming features that aren't easily available in other languages.