You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Creates a program from a seq of rules, and a seq of axioms. Seqs may be empty. Returns a Program, which is of the form
{:rules rule-sequence
:axioms axiom-sequence}
This structure is not the same as what was originally returned by the Pabu parser (or manually created), as the rules will have been recreated with special annotations required for execution.