Sunflower User Manual
1.0
  • Overview
  • Installation
  • Sunflower
  • Natural Language Paraphrasing
  • Flora
    • Other Sources of Documentation
    • Comments
    • Statements
    • Facts
    • Queries and Latent Queries
    • ’and’ and ’or’
    • Precedence and Parentheses
    • 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
    • Negation
    • Control Flow Statements
    • Imports
    • Knowledge Base Updates
    • Non-tabled Predicates
    • Representing Actions
    • User-Defined Functions
    • Quantifiers
    • Skolems
    • Typed Variables
    • CLP(R) math
    • Glossary
  • Example
  • Troubleshooting
  • Acknowledgements
Sunflower User Manual
  • Docs »
  • Flora »
  • How Flora Answers Queries
  • View page source

How Flora Answers Queries¶

  • How Flora Answers Queries
  • Example of Goal Execution
  • Ordering of Goals
  • The Effect of Tabling
Next Previous

© Copyright 2017, SRI International.

Built with Sphinx using a theme provided by Read the Docs.