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
      • Rules
      • Recursive rules
      • Built-in 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
Sunflower User Manual
  • Docs »
  • Flora »
  • Rules
  • View page source

Rules¶

  • Rules
  • Recursive rules
  • Built-in Rules
Next Previous

© Copyright 2017, SRI International.

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