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