tr_syntax (library)

Usage and interface

Library usage:
:- use_module(ciaopp(tr_syntax)).
Exports:
- Predicates:
  cleanup_tr_syntax/0, traverse_clauses/5.

Documentation on exports

cleanup_tr_syntax

Cleanups internal database.

Usage:traverse_clauses(Cls,Ds,Flag,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, nested CGEs, etc. The particular format is indicated by Flag. 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.
(nonvar/1)Flag is currently a term which is not a free variable.
(var/1)NewCls is a free variable.
(var/1)NewDs is a free variable.
(member/2)Flag is an element of [all,remove,unravel,unravel_remove].

Documentation on imports

This module has the following direct dependencies:

Application modules:
remotecut, remdisj.
Internal (engine) modules:
term_basic, arithmetic, atomic_basic, basiccontrol, exceptions, term_compare, term_typing, debugger_support, basic_props, hiord_rt.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, basicmodes.