SPARC-answer set solver with sorts