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.
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.
Great name for it and thanks for sharing that one James…I just added that to Podbean for this evening.