I've spent a lot of time researching Logic Programming and I'm always amazed how little known some of the languages/tools/techniques derived from it are. For so

I've spent a lot of time researching Logic Programming and I'm always amazed how little known some of the languages/tools/techniques derived from it are. For some software problems Prolog, Constraint Logic Programming, SAT solvers are the natural choice for easy representation and solution and yet usually people end up rolling their own DSLs when there are so many out there. SWI-Prolog has some very useful web features, there are even libraries to expose Prolog through web services. Java has tuProlog, another really clever piece of software which is actively being developed. I look at some of the claimed benefits of functional languages and so many apply to Logic Programming, its just a shame that it's often ignored because it is so different.