object

`toychrdb`

Simple CHR interpreter/debugger based on the refined operational semantics of CHRs.

Author: Gregory J. Duck; adapted to Logtalk by Paulo Moura.
Version: 0:6:1
Date: 2022-05-23

License: GNU GPL 2.0 or later version

Compilation flags:

static, context_switching_calls

Implements:

public expanding

Uses:

list

user

Remarks:

(none)

Inherited public predicates:

goal_expansion/2 term_expansion/2

Public predicates 

`chr_is/2`

Compilation flags:

static

`chr_trace/0`

Compilation flags:

static

`chr_notrace/0`

Compilation flags:

static

`chr_spy/1`

Compilation flags:

static

`chr_nospy/0`

Compilation flags:

static

`chr_no_spy/1`

Compilation flags:

static

`chr_option/2`

Compilation flags:

static

Protected predicates 

`current_prog/1`

Compilation flags:

static

`chr_option_print_trace/0`

Compilation flags:

dynamic

`chr_option_trace_interactive/0`

Compilation flags:

dynamic

`chr_option_optimization_level/1`

Compilation flags:

dynamic

`chr_option_show_stack/0`

Compilation flags:

dynamic

`chr_option_show_store/0`

Compilation flags:

dynamic

`chr_option_show_history/0`

Compilation flags:

dynamic

`chr_option_show_id/0`

Compilation flags:

dynamic

`chr_option_allow_deep_guards/0`

Compilation flags:

dynamic

`chr_next_state/1`

Compilation flags:

dynamic

`chr_spy_point/1`

Compilation flags:

dynamic

Private predicates 

`chr_rule_/1`

Compilation flags:

dynamic

Operators 

(none)

toychrdb

`toychrdb`