agents
v0.2.0
Search documentation of agents
Settings
backward_chaining_engine
(agents v0.2.0)
View Source
Summary
Functions
add_fact(Pid, Fact)
add_rule(Pid, Rule)
callback_mode()
code_change(Vsn, State, Data, Extra)
completed(EventType, OldState, Data)
fact_checking(EventType, OldState, Data)
get_proof_tree(Pid)
goal_decomposition(EventType, OldState, Data)
idle(EventType, OldState, Data)
init(Options)
optimization(EventType, OldState, Data)
proof_construction(EventType, OldState, Data)
prove_goal(Pid, Goal)
query(Pid, Query)
recursive_proving(EventType, OldState, Data)
remove_fact(Pid, Fact)
remove_rule(Pid, Rule)
reset_knowledge_base(Pid)
rule_matching(EventType, OldState, Data)
start_link()
start_link(Options)
subgoal_generation(EventType, OldState, Data)
terminate(Reason, State, Data)
unification(EventType, OldState, Data)
Functions
add_fact(Pid, Fact)
add_rule(Pid, Rule)
callback_mode()
code_change(Vsn, State, Data, Extra)
completed(EventType, OldState, Data)
fact_checking(EventType, OldState, Data)
get_proof_tree(Pid)
goal_decomposition(EventType, OldState, Data)
idle(EventType, OldState, Data)
init(Options)
optimization(EventType, OldState, Data)
proof_construction(EventType, OldState, Data)
prove_goal(Pid, Goal)
query(Pid, Query)
recursive_proving(EventType, OldState, Data)
remove_fact(Pid, Fact)
remove_rule(Pid, Rule)
reset_knowledge_base(Pid)
rule_matching(EventType, OldState, Data)
start_link()
start_link(Options)
subgoal_generation(EventType, OldState, Data)
terminate(Reason, State, Data)
unification(EventType, OldState, Data)