In this podcast, the speaker talks about his experience with logic programming and biological inspired algorithms like genetic programming, and how they influenced his approach to AI. He also discusses the Japanese's focus on logic programming in the 80s and Google's current use of proof search.