Prolog
A logic programming language, mentioned in the context of deterministic Chomsky approaches to AI that didn't scale effectively.
Videos Mentioning Prolog

Ex Machina's Scientific Advisor - Murray Shanahan
Y Combinator
A logic programming language discussed in relation to early AI research and the speaker's PhD thesis.

The "Normsky" architecture for AI coding agents — with Beyang Liu + Steve Yegge of SourceGraph
Latent Space
A logic programming language, mentioned in the context of deterministic Chomsky approaches to AI that didn't scale effectively.

David Silver: AlphaGo, AlphaZero, and Deep Reinforcement Learning | Lex Fridman Podcast #86
Lex Fridman
A general-purpose logic programming language, commonly associated with artificial intelligence and computational linguistics.

Juergen Schmidhuber: Godel Machines, Meta-Learning, and LSTMs | Lex Fridman Podcast #11
Lex Fridman
A logic programming language used by Schmidhuber in his early work, including implementing genetic programming systems and influencing the design of universal problem solvers.

Tomaso Poggio: Brains, Minds, and Machines | Lex Fridman Podcast #13
Lex Fridman
A logic programming language contrasted with the architecture of neural networks.