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_callsRemarks:
(none)
Inherited public predicates:
Public predicates
chr_is/2
Compilation flags:
staticchr_trace/0
Compilation flags:
staticchr_notrace/0
Compilation flags:
staticchr_spy/1
Compilation flags:
staticchr_nospy/0
Compilation flags:
staticchr_no_spy/1
Compilation flags:
staticchr_option/2
Compilation flags:
staticProtected predicates
current_prog/1
Compilation flags:
staticchr_option_print_trace/0
Compilation flags:
dynamicchr_option_trace_interactive/0
Compilation flags:
dynamicchr_option_optimization_level/1
Compilation flags:
dynamicchr_option_show_stack/0
Compilation flags:
dynamicchr_option_show_store/0
Compilation flags:
dynamicchr_option_show_history/0
Compilation flags:
dynamicchr_option_show_id/0
Compilation flags:
dynamicchr_option_allow_deep_guards/0
Compilation flags:
dynamicchr_next_state/1
Compilation flags:
dynamicchr_spy_point/1
Compilation flags:
dynamicPrivate predicates
chr_rule_/1
Compilation flags:
dynamicOperators
(none)