You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
27 lines
401 B
ReStructuredText
27 lines
401 B
ReStructuredText
2 years ago
|
==============
|
||
|
Queries
|
||
|
==============
|
||
|
|
||
|
-----------------
|
||
|
Constant rules
|
||
|
-----------------
|
||
|
|
||
|
-----------------
|
||
|
Horn-clause rules
|
||
|
-----------------
|
||
|
|
||
|
^^^^^^^^^^^^^^^^
|
||
|
Negation
|
||
|
^^^^^^^^^^^^^^^^
|
||
|
|
||
|
^^^^^^^^^^^^^^^^
|
||
|
Stratification
|
||
|
^^^^^^^^^^^^^^^^
|
||
|
|
||
|
----------------------------------
|
||
|
Algorithm application
|
||
|
----------------------------------
|
||
|
|
||
|
-----------------------
|
||
|
Global query options
|
||
|
-----------------------
|