object

generalized_ripple_down_rules

Generalized Ripple-Down Rules implementation using keyed Single-Classification Ripple-Down Rules and Multi-Classification Ripple-Down Rules submodels.

Availability:
logtalk_load(ripple_down_rules(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-08-08
Compilation flags:
static, context_switching_calls
Implements:
public ripple_down_rules_common_protocol
Imports:
public options
Uses:
avltree
multi_classification_ripple_down_rules
single_classification_ripple_down_rules
Remarks:
(none)
Inherited public predicates:
 as_list/2  check_model/1  check_option/1  check_options/1  classify/3  classify/4  default_option/1  default_options/1  new/1  new/2  option/2  option/3  revise/6  size/2  valid_model/1  valid_option/1  valid_options/1

Public predicates

put/4

Returns a new Generalized Ripple-Down Rules model with the keyed Single-Classification Ripple-Down Rules or Multi-Classification Ripple-Down Rules submodel added or replaced.

Compilation flags:
static
Template:
put(Model,Key,Submodel,NewModel)
Mode and number of proofs:
put(+compound,+term,+compound,-compound) - one_or_error
Exceptions:
Model is a variable:
instantiation_error
Model is neither a variable nor a valid model:
domain_error(ripple_down_rules,Model)
Key is a variable:
instantiation_error
Submodel is a variable:
instantiation_error
Submodel is neither a variable nor a valid submodel:
domain_error(ripple_down_rules_submodel,Submodel)

get/3

Returns the submodel stored under a key.

Compilation flags:
static
Template:
get(Model,Key,Submodel)
Mode and number of proofs:
get(+compound,+term,-compound) - zero_or_one_or_error
Exceptions:
Model is a variable:
instantiation_error
Model is neither a variable nor a valid model:
domain_error(ripple_down_rules,Model)
Key is a variable:
instantiation_error

remove/3

Returns a new Generalized Ripple-Down Rules model with the keyed submodel removed.

Compilation flags:
static
Template:
remove(Model,Key,NewModel)
Mode and number of proofs:
remove(+compound,+term,-compound) - zero_or_one_or_error
Exceptions:
Model is a variable:
instantiation_error
Model is neither a variable nor a valid model:
domain_error(ripple_down_rules,Model)
Key is a variable:
instantiation_error

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)