New podcast about logic programming

I just came across a new podcast about logic programming called The Search Space. The first episode is very interesting (an interview with Robert Kowalski) and I thought folks here would appreciate it too.

6 Likes

Thanks for posting this. The podcast was extremely informative, he is the first person that I have heard giving a good reasoned argumentation on why logic programming needs to support both declarative and ‘production’ type of goals (like imperative languages).

The system he is working on is based on SWI-Prolog, it is called “logic production system”, you can see it here: http://demo.logicalcontracts.com/example/FirstStepswithLPS.swinb

Very interesting podcast indeed.

3 Likes

Great name for it and thanks for sharing that one James…I just added that to Podbean for this evening.

1 Like