-
Notifications
You must be signed in to change notification settings - Fork 19
Program
Paula Gearon edited this page Mar 7, 2017
·
1 revision
Once rules have been created, the must be compiled into a program. This calculates how the rules will interact with each other.
Namespace: naga.lang
Functions:
(create-program rules axioms)
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.