protocol

ripple_down_rules_protocol

Protocol for Ripple-Down Rules models.

Availability:

logtalk_load(ripple_down_rules(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-08-06

Compilation flags:

static

Extends:

public ripple_down_rules_common_protocol

Remarks:

(none)

Inherited public predicates:

 as_list/2  check_model/1  classify/3  classify/4  new/1  new/2  revise/6  size/2  valid_model/1

Public predicates

classify_with_context/5

Classifies a case while making external keyed conclusions visible to rule closures.

Compilation flags:

static

Template:

classify_with_context(Model,Case,Context,Conclusion,Trace)

Mode and number of proofs:

classify_with_context(+compound,@term,+list(pair),--term,-list(compound)) - one

---

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)