Prolog
programming language that uses first order logic
Save the 5 videos on Prolog to your own pod.
Sign up free to keep building your knowledge base on Prolog as more episodes are added.
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.