Prolog: A Mature but Underrated Language for Symbolic AI
summary
The talk presents Prolog as a mature but underrated declarative programming language for symbolic AI, explaining how first-order logic, Horn clauses and unification let you express problems as rules rather than procedures and enable inheritance-like value synthesis. It situates Prolog historically (fifth‑generation computers, AI, natural language processing) and argues that revisiting Prolog offers a complementary approach to modern probabilistic AIs for building deductive systems.
AI-written summary · about
chapters (9)
- 0:00Prolog and symbolic AI
- 3:11Unification foundations
- 12:26Horn clauses
- 21:24Logic programming in Prolog
- 27:20SLD resolution proofs
- 33:20Prolog cuts and homoiconicity
- 37:27Constraint programming in Prolog
- 41:18Advanced Prolog applications
- 45:32Conclusion
related talks
41mFrom AI Software Engineers to AI Knowledge Workers
30mToward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI ...
34mProgramming Languages for AI Programing Agents
15mCurrent Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc—and We Can Do Better
59mIt AI n't What You Think!
01h 04mInvited Talk: Finding Good Programs by Avoiding Bad Ones
36mRethinking legacy modernisation with automated reasoning and comprehension models
41m"Do What I Mean": The History of AI and Program Synthesis