Flora

• Other Sources of Documentation
• Comments
• Statements
• Facts
  • Facts
  • Schema Frames
  • Boolean Properties
• Queries and Latent Queries
• ’and’ and ’or’
• Precedence and Parentheses
• Rules
  • Rules
  • Recursive rules
  • Built-in Rules
• How Flora Answers Queries
  • How Flora Answers Queries
  • Example of Goal Execution
  • Ordering of Goals
  • The Effect of Tabling
• Directives
• Arithmetic
• Dot Expressions
• Built-in Libraries and Types, Modules, and XSB predicates
• Aggregate Operators
• Compound Terms
  • Compound Terms
  • Parameterized Properties
  • Non-Frame Predicates
  • Creating Structured Data
  • Higher-Order Rules
• Negation
• Control Flow Statements
• Imports
• Knowledge Base Updates
• Non-tabled Predicates
• Representing Actions
• User-Defined Functions
• Quantifiers
• Skolems
• Typed Variables
• CLP(R) math
• Glossary