Global functions | |
---|---|
atom | Man page Source code |
binary_tree_to_list | Source code |
char | Man page Source code |
clause | Man page Source code |
convert_from_r | Source code |
convert_from_r.character | Source code |
convert_from_r.integer | Source code |
convert_from_r.name | Source code |
convert_from_r.numeric | Source code |
evaluate_body_again | Source code |
extract_variables | Source code |
extract_variables.logician_clause | Source code |
extract_variables.logician_r_expr | Source code |
fact | Man page Source code |
fail | Source code |
handle_stack_element | Source code |
handle_stack_element.fact | Source code |
handle_stack_element.rule | Source code |
handle_stack_element.rule_body_iterator | Source code |
head.logician_iterator | Man page Source code |
int | Man page Source code |
is_fact | Man page Source code |
is_rule | Man page Source code |
is_unified | Source code |
is_variable | Source code |
iterator | Source code |
logician_database | Man page Source code |
logician_query | Man page Source code |
logician_query_ | Man page Source code |
logician_query_.logician_clause | Man page Source code |
logician_query_.logician_r_expr | Man page Source code |
new_node | Source code |
new_var_name | Source code |
ok | Source code |
print.logician_query_result | Source code |
put_database_on_stack | Source code |
r_expr | Man page Source code |
rename_non_head_variables | Source code |
replace_symbol | Source code |
result | Source code |
rule | Man page Source code |
starts_with_upper | Source code |
substitute_bindings | Source code |
substitute_clause | Source code |
substitute_clause.logician_clause | Source code |
substitute_clause.logician_r_expr | Source code |
substitutions | Source code |
to_clause | Source code |
to_clause_or_expr | Source code |
variable | Man page Source code |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.