Index of /docs/1.0-SNAPSHOT/sunflower-manual/_sources/flora
Name
Last modified
Size
Description
Parent Directory
-
Facts/
2026-10-21 23:55
-
Rules/
2026-10-21 23:55
-
aggregate-operators.rst.txt
2026-10-21 23:55
1.8K
and-and-or.rst.txt
2026-10-21 23:55
1.2K
arithmetic.rst.txt
2026-10-21 23:55
566
built-in-libraries-and-types-modules-and-xsb-predicates.rst.txt
2026-10-21 23:55
3.3K
clpr-math.rst.txt
2026-10-21 23:55
2.9K
comments.rst.txt
2026-10-21 23:55
464
compound-terms/
2026-10-21 23:55
-
control-flow-statements.rst.txt
2026-10-21 23:55
3.7K
directives.rst.txt
2026-10-21 23:55
943
dot-expressions.rst.txt
2026-10-21 23:55
544
glossary.rst.txt
2026-10-21 23:55
3.8K
how-flora-answers-queries/
2026-10-21 23:55
-
imports.rst.txt
2026-10-21 23:55
1.8K
index.rst.txt
2026-10-21 23:55
638
knowledge-base-updates.rst.txt
2026-10-21 23:55
1.3K
negation.rst.txt
2026-10-21 23:55
2.7K
non-tabled-predicates.rst.txt
2026-10-21 23:55
2.3K
other-sources-of-documentation.rst.txt
2026-10-21 23:55
1.9K
precedence-and-parentheses.rst.txt
2026-10-21 23:55
1.9K
quantifiers.rst.txt
2026-10-21 23:55
3.0K
queries-and-latent-queries.rst.txt
2026-10-21 23:55
2.6K
representing-actions.rst.txt
2026-10-21 23:55
1.6K
skolems.rst.txt
2026-10-21 23:55
1.4K
statements.rst.txt
2026-10-21 23:55
613
typed-variables.rst.txt
2026-10-21 23:55
555
user-defined-functions.rst.txt
2026-10-21 23:55
1.6K
Apache/2.4.58 (Ubuntu) Server at sunflower.csl.sri.com Port 443