Session Inspection

The namespace offers functions to inspect and understand the state of rule sessions.

The inspect function in that namespace returns a data structure with information on what has occurred in the session. For example, it can be used to see

  • What rules or queries were activated, and what went into those activations.
  • All the facts inserted by a particular rule.
  • What rule inserted a particular fact.

As a convenience, the namespace also provides an explain-activations function, producing a human readable explanation of the state of a rule session. Here’s an example of it in use. Running the following

(inspect/explain-activations session)

produces something like this, showing what fired and why:

rule example.demo/restricted-items
(clara.rules/insert! (example.demo/->ApprovalRequired :restriction (str ?type is restricted at ?location)))
#example.demo.WorkOrder{:location FortressOfSolitude, :date #<DateTime 2015-01-01T00:00:00.000Z>, :priority :high}
is a example.demo.WorkOrder
where [(= ?location location)]
#example.demo.LineItem{:type Kryptonite, :description Surprise gift!, :price 0}
is a example.demo.LineItem
where [(= ?type type)]
#example.demo.RestrictedItem{:type Kryptonite, :location FortressOfSolitude}
is a example.demo.RestrictedItem
where [(= ?location location) (= ?type type)]

explain-activations also takes a filter function that can be used to selectively choose which rules should have their activations explained.

See the API documentation for more details.

Note that session inspection functionality related to reports on insertion of facts is unsupported on unconditionally inserted facts. Session inspection internally uses information that is stored as part of truth maintenance to report on this, and as a result the session inspection code cannot tie an unconditionally inserted fact to the rule that inserted it. This doesn’t prevent use of session inspection on a session that contains both logically inserted and unconditionally inserted facts. The session inspection functionality will still tie logically inserted facts and the rules that inserted them together; it just won’t have the same information on unconditionally inserted facts.