Sparc Manual

• System installation
• System usage
  • Querying mode
  • Answer Set Mode
• Command Line Options
• Syntax Description
  • Directives
  • Sort definitions
  • Predicate Declarations
  • Program Rules
  • Display (New!)
• Answer Sets
• Typechecking
  • Type errors
    • Sort definition errors
    • Predicate declarations errors
    • Program rules errors
  • Type warnings
    • ASP based warning checking
    • Constraint solver based warning checking
• SPARC and ASPIDE
  • Installation
  • Creating Projects and Adding SPARC source files
  • Executing queries and computing Answer sets
  • Warnings Checking