API for dirkschumacher/logician
Logic Programming in R

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
dirkschumacher/logician documentation built on June 13, 2020, 5:11 p.m.