Logic programming works mainly on DFS, and while this can be parallelized there's a limited number of threads you can throw at shit
What if you modified the algorithm to pick a very good branch on the graph every time by using machine learning?
Logic programming seems fascinating but is there really any real world use for it?
>>2
I would expect that Prolog is perfect for making expert systems. But I have zero experience with logic programming or Prolog. Any good resources? I'm thinking about reading The Reasoned Schemer once I finish Seasoned Schemer.
>>3
I liked Clause and Effect: Prolog Programming for the Working Programmer but I read it after I learned Prolog during a course, so it might not be appropriate for the complete beginner.