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.
10 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.
4 Likes
Great name for it and thanks for sharing that one JamesâŚI just added that to Podbean for this evening.
1 Like
Just giving this a bump for others that have not seen this, forgot about it, or didnât realize there are more podcasts since originally posted.
4 Likes