Hacker News new | ask | show | jobs
by tr352 3125 days ago
What you're looking for is called answer set programming. It has pretty much replaced logic programming as a research focus, and a number of implementations exist.
2 comments

The Wikipedia article for ASP is a very nice introduction: https://en.wikipedia.org/wiki/Answer_set_programming
Thank you - I didn't know about it (#^.^#); got some reading-up to do now....