.. _section-flora: Flora ===== .. toctree:: :maxdepth: 2 other-sources-of-documentation comments statements Facts/index queries-and-latent-queries and-and-or precedence-and-parentheses Rules/index how-flora-answers-queries/index directives arithmetic dot-expressions built-in-libraries-and-types-modules-and-xsb-predicates aggregate-operators compound-terms/index negation control-flow-statements imports knowledge-base-updates non-tabled-predicates representing-actions user-defined-functions quantifiers skolems typed-variables clpr-math glossary