object

toychrdb

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

Availability:
logtalk_load(toychr(loader))
Author: Gregory J. Duck; adapted to Logtalk by Paulo Moura.
Version: 0:7:1
Date: 2024-03-15
Copyright: Copright 2004 Gregory J. Duck; Copyright 2019-2024 Paulo Moura
License: GPL-2.0-or-later
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)