DEFAULT-BACKCHAIN-LIMIT

specifying the backchain limit for a rule
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