Program

From Dyna

lichiace A Dyna program defines a set of types, and describes how to compute the values of some items from the values of other items.

Form of a Dyna program

A Dyna program is simply a sequence of inference rules and declarations.

• Each rule or declaration should be terminated by a . (a period).
• The order of rules and declarations is not important.
• Whitespace is not important (except insofar as it affects tokenization).
• The rest of the line following an unquoted % symbol is a comment.

We might switch to using C -style comments in order to allow cpp to run smoothly (see preprocessing). However, I'd like to keep % comments if possible. It's nice for a programmer to be able to glance at a file (or code snippet) and see from the style of comments whether they're looking at the Dyna program or the C driver program.

FIELD_MESSAGE_rolouer