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)