Traditional tools implement specific single purpose solutions, hiding
the valuable domain knowledge in imperative code that is error prone and expensive to maintain.
Potassco AI tools separate the knowledge representation from the problem solving task.
Instead of programmers writing and maintaining code, experts model your knowledge base.
You gain a declarative representation of your knowledge that can be easily maintained, and the Potassco solver
computes the solution to the modeled task.
The resulting knowledge base can be the fundament for variety of related reasoning tasks and is not fixed to a single problem.