Idp3 Manual

• Installing And Running
  • Getting the system
    • Downloading the most recent version
    • Building from source
  • Running the software
    • Batch mode
    • Interactive mode
• Comments
• Include statements
• Namespaces
• Vocabularies
  • Symbol declarations
  • Symbol pointers
  • The standard vocabulary
  • LTC vocabularies
• Theories
  • Sentences
    • Terms
    • Formulas and Sentences
    • Definitions
  • Chains of (in)equalities
  • Aggregates
    • Aggregates on lists of terms
    • Aggregates on lists of formulas
  • Partial functions
  • The Type of a Variable
    • Automatic derivation of types for variables
• Terms
• Queries
• Structures
  • Contents of a structure
    • Type Enumeration
    • Predicate Enumeration
    • Function Enumeration
    • Three-Valued Predicate/Function interpretations
    • Interpretation by Procedures
    • Shorthands
  • factlist
• Procedures
  • Declaring a procedure
  • IDP types
  • Built-in procedures
    • stdspace
    • idpintern
    • inferences
    • options
    • structure
    • theory
    • vocabulary
    • Miscellaneous
    • The table_utils library
• Options
  • Verbosity options
  • Modelexpansion options
  • Propagation options
  • Printing options
  • Entailment options
  • General options
• IDP2 vs IDP3
• Common errors and warnings
  • Syntax error
  • Unquantified variables
  • Derived type
  • Underivable type
  • Infinite grounding