Welcome to Sunflower’s documentation!¶
- 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
- 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