Answer-Set Programming: A declarative programming style that uses rules and expressions to find answers from large data sets.
We are still working on this page. Come back again soon.