Major Section: MISCELLANEOUS
See backchain-limit.
The initial value is (nil nil)
. To inspect the current value (as
explained elsewhere; see backchain-limit):
(default-backchain-limit wrld :ts) ; for type-set reasoning (default-backchain-limit wrld :rewrite) ; for rewriting