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:0
Date: 2023-10-02
Copyright: Copright 2004 Gregory J. Duck; Copyright 2019 Paulo Moura
License: GNU GPL 2.0 or later version
Compilation flags:
static, context_switching_calls
Implements:
public expanding
Uses:
Remarks:
(none)
Inherited public predicates:

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)