ooastools - Revision 12: /trunk/compiler/ooasCompiler/src/org/momut/ooas/codegen/prologsymbolic