| 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.