## #1 - The Poet of Logic Programming

An interview with Robert Kowalski, the co-creator of the field of logic programming and of the language Prolog. The conversation ranges over the history of Prolog, the ill-famed Fifth Generation Computer Systems project, the relation between symbolic AI and connectionist AI including deep learning, why rule engines fail at logic, and the future of logic programming. Find show notes and more on thesearch.space, and follow the show on Twitter: @searchspacepod

**Show notes**

**08:10**

John Alan Robinson

https://en.wikipedia.org/wiki/John_Alan_Robinson

*Computational Logic: Memories of the Past and Challenges for the Future*

http://www.computational-logic.org/iccl/downloads/Robinson-CL2000.pdf

Maarten van Emden has great material about Robinson, including two interviews:

- https://vanemden.wordpress.com/2016/09/16/alan-robinson/
- https://vanemden.wordpress.com/2010/06/08/interview-with-alan-robinson-inventor-of-resolution-logic/
- http://aarinc.org/Newsletters/089-2010-10.html#robinson

**08:55**

*The Early Years of Logic Programming*(Kowalski)

https://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf

**12:05**

*The British Nationality Act as a Logic Program*

https://www.doc.ic.ac.uk/~rak/papers/British%20Nationality%20Act.pdf

**12:45**

Horn clause logic

https://en.wikipedia.org/wiki/Horn_clause

**14:32**

Dual process theory

https://en.wikipedia.org/wiki/Dual_process_theory

https://en.wikipedia.org/wiki/Thinking,_Fast_and_Slow

**16:30**

Alternatives to logic representations of knowledge

- https://en.wikipedia.org/wiki/Semantic_network
- https://en.wikipedia.org/wiki/And%E2%80%93or_tree
- https://www.doc.ic.ac.uk/~rak/papers/History.pdf

**17:10**

Minsky’s frames

https://en.wikipedia.org/wiki/Frame_(artificial_intelligence)

**17:30**

Non-monotonic logic

https://en.wikipedia.org/wiki/Non-monotonic_logic

**18:10**

First-order logic

https://en.wikipedia.org/wiki/First-order_logic

**20:45**

List concatenation (the append/3 predicate)

http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse24

**23:55**

Datalog

https://en.wikipedia.org/wiki/Datalog

Answer Set Programming

https://en.wikipedia.org/wiki/Answer_set_programming

**25:50**

Cordell Green

https://en.wikipedia.org/wiki/Cordell_Green

**26:50**

"it was Cordell who was interested in knowledge representation"

*STANFORD ARTIFICIAL INTELLIGENCE PROJECT, MEMO Al-96*

The Application of Theorem Proving to Question-Answering Systems

The Application of Theorem Proving to Question-Answering Systems

https://www.kestrel.edu/home/people/green/publications/green-thesis.pdf

*Theorem-Proving by Resolution as a Basis for Question-Answering Systems*

https://www.kestrel.edu/home/people/green/publications/theorem-proving.pdf

**29:50**

Planner, Hewitt, Winograd

https://en.wikipedia.org/wiki/Planner_(programming_language)

https://en.wikipedia.org/wiki/Terry_Winograd

**35:00**

Monads

https://en.wikipedia.org/wiki/Monad_(functional_programming)

**40:10**

Alain Colmerauer

https://en.wikipedia.org/wiki/Alain_Colmerauer

*Un Systeme de Communication Homme-Machine en Francais*

http://alain.colmerauer.free.fr/alcol/ArchivesPublications/HommeMachineFr/HoMa.pdf

**42:00**

Pat Hayes

https://en.wikipedia.org/wiki/Pat_Hayes

https://www.ihmc.us/groups/phayes/

**43:15**

*The Birth of Prolog*(Alain Colmerauer and Philippe Roussel)

http://alain.colmerauer.free.fr/alcol/ArchivesPublications/PrologHistory/19november92.pdf

**46:00**

*Computational Logic and Human Thinking: How to be Artificially Intelligent*

https://www.doc.ic.ac.uk/~rak/papers/newbook.pdf

**49:00**

*The Pyramid Principle: Logic in Writing and Thinking*(Barbara Minto)

https://www.goodreads.com/book/show/1990595.The_Pyramid_Principle

**51:00**

Unification

https://en.wikipedia.org/wiki/Unification_(computer_science)

**52:20**

Backtracking

https://en.wikipedia.org/wiki/Backtracking

**56:10**

Production rules

https://en.wikipedia.org/wiki/Production_system_(computer_science)

**57:10**

Expert systems

https://en.wikipedia.org/wiki/Expert_systems

**01:08:30**

The Fifth Generation Computer Systems project

https://en.wikipedia.org/wiki/Fifth_generation_computer

**1:09:50**

MapReduce

https://en.wikipedia.org/wiki/MapReduce

**1:17:00**

Event calculus

https://en.wikipedia.org/wiki/Event_calculus

**1:18:20**

Logic Production Systems

http://lps.doc.ic.ac.uk/

**1:19:40**

Logical Contracts (company)

http://logicalcontracts.com/

**1:29:45**

Minsky's attack on the perceptron

https://en.wikipedia.org/wiki/Perceptron

**★ Support this podcast ★**