tomabd.misc.rule Class Reference

Detailed Description

Check whether the argument is a rule or return an iterator over the rules in the belief base.

Usage:

• tomabd.misc.rule({a :- b & c}): true
• tomabd.misc.rule(b [source(self)]): false
• .findall(R, tomabd.misc.rule(R), L): L unifies with a list of all the rules in the belief base.