News for hackers. Stuff that matters.

A comment on Logic Programming is Underrated. Parent comment

Re:Logic Programming is Underrated by ufo on Saturday June 08, 2013 @08:37PM (#5846952)
The SMT bit you mentioned shines a light in one of the gripes I have with logic programming: most often the examples people give are for the sort of AI search problem that might look nice when specified but that you can't hope to solve in practice with a generic depth-first-search.

That said, one thing that I always felt was unique about LP was how one of the primitive operations was data structure unification and how some pieces of code can be run in both "directions" if you are careful. However, I still haven't been able to find a neat example of what sort of problem really benefits from this.

[ Parent | on HN ]
Re:Logic Programming is Underrated by swannodette on Sunday June 09, 2013 @02:52PM (#5850015)
At UBS I know they have a small business rules system written in core.logic, in their case I believe being able to run backwards allows them to uncover redundancies - like "which rules match this result".
[ Parent | on HN ]
Re:Logic Programming is Underrated by wslh on Saturday June 08, 2013 @09:51PM (#5847147)
I still haven't been able to find a neat example of what sort of problem really benefits from this.

I think one of the clear benefits is having a tool to aid you in your research. Speaking about chess, is like what Kasparov envisioned for advanced chess http://en.wikipedia.org/wiki/Advanced_Chess

[ Parent | on HN ]
Re:Logic Programming is Underrated by jules on Sunday June 09, 2013 @05:57AM (#5848272)
One place where this has potential is for type checking & type inference.
[ Parent | on HN ]