3 ms·

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 exi

by tr352 9y 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.

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