## Subscribe

## Share

Share

Embed

Share

Embed

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

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

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

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

Horn clause logic

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

Dual process theory

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

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

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

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

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

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

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

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

Answer Set Programming

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

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

The Application of Theorem Proving to Question-Answering Systems

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

http://logicalcontracts.com/

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

The Logic Programming podcast. About the history, future, and wider landscape of Logic Programming.