Pre-Processing


KEY

expand_term(T1,T2)
            When a program is read in, some of the terms read  are  transformed
            before  being  stored  as  clauses.  If  T1  is  a term that can be
            transformed, T2 is the result.  Otherwise T2 is just T1  unchanged.
            The  only  transformation  currently  available  translates grammar
            rules into clauses.  Note that this means that  grammar  rules  are
            automatically  accepted,  and  read-in  properly,  by  consult  and
            reconsult.