tr_syntax (library)

Usage and interface

Library usage:
:- use_module(library(compiler/p_unit/tr_syntax)).
Exports:
- Predicates:
  cleanup_tr_syntax/0, traverse_clauses/4.

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:

System library modules:
datafacts_rt, program_keys, native, p_unit, p_unit_db, lists, sets, terms_vars, vndict.
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, datafacts.