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