tr_syntax (library)

Usage and interface

Documentation on exports

cleanup_tr_syntax

Cleanups internal database.

Usage:traverse_clauses(Cls,Ds,NewCls,NewDs)

It traverses program clauses Cls suitably changing the format for the following step (analysis, annotation, etc). In general, it will have to remove disjunctions, if-then-elses, remote cuts, etc. In doing this, the old clauses will be transformed and new clauses (and thus new dictionaries) can be created.

  • The following properties should hold at call time:
    (nonvar/1)Cls is currently a term which is not a free variable.
    (nonvar/1)Ds is currently a term which is not a free variable.
    (var/1)NewCls is a free variable.
    (var/1)NewDs is a free variable.

Documentation on imports

This module has the following direct dependencies: