compiler.pl:   'avlTrees.avlSearch.P3'(StatementsAndDelays, GModuleName, ModuleCode),
compiler.pl:   ModuleCode = 'ProgDefs.Code.F2'(_, Code),
compiler.pl:   declared_but_undefined(ModuleDescriptor, Code, PredicateSpecs),
compiler.pl:   compile_program_aux(ModuleName, Code, ModuleDef, ModuleDescriptor, ordinary).
compiler.pl:					_GoalLanguage, Codeavl),
compiler.pl:   compile_program_aux(ModuleName, Codeavl, ModuleDefavl, Language,
compiler.pl:% When Switch = script, Code is a avlTree of avlTrees, otherwise it's
compiler.pl:compile_program_aux(ModuleName, Code, ModuleDef, ModuleDescriptor, Switch) :-
compiler.pl:        general_compile_module(Code, ModuleName, Switch),
compiler.pl:			 -> Code = Code2
compiler.pl:			 ;  'ParserPrograms.ExportDelaysOnly.P2'(Code, Code2)
compiler.pl:				ModuleDef, ModuleDescriptor, Code2) ),
compiler.pl:general_compile_module(Code, ModuleName, Switch) :-
compiler.pl:     -> make_script_code(Code, ModuleName, Switch)
compiler.pl:     ;  compile_module(Code, ModuleName, Switch)
compiler.pl:make_script_code('avlTrees.Node.F5'(LeftTree, _, ModuleCode, _,RightTree),
compiler.pl:   ModuleCode = 'ProgDefs.Code.F2'(_, Code),
compiler.pl:   compile_module(Code, ModuleName, Switch),
compiler.pl: * compile_object_module(GModuleName, Code)
compiler.pl:compile_object_module(GModuleName, Code):-
compiler.pl:        compile_module(Code, ModuleName, object),
compiler.pl:declared_but_undefined(ModuleDescriptor, Code, PredicateSpecs) :-
compiler.pl:   declared_symbols(Symbols, Code, [], PredicateSpecs).
compiler.pl:		Code, PredicateSpecs, PredicateSpecs2) :-
compiler.pl:   ( 'avlTrees.avlSearch.P3'(Code, Symbol, Results)
compiler.pl:   declared_symbols(LeftTree, Code, PredicateSpecs3, PredicateSpecs4),
compiler.pl:   declared_symbols(RightTree, Code, PredicateSpecs4, PredicateSpecs2).
compiler.pl:		'ProgDefs.Code.F2'(_, Code), _, RightTree), Program) :-
compiler.pl:        compile_program_aux(ModuleName, Code, ModuleDef, ModuleDescriptor,
djd01.pl:% name(Atomic, CodeList)  
djd01.pl:% name(Atomic, CodeList)  
djd01.pl:% string_codes(String,Codes)
djd01.pl:% name(Atomic, CodeList)  
djd01.pl:% name(Atomic, CodeList)  
djd01.pl:% name(Atomic, CodeList)  
djd01.pl:% string_codes(String,Codes)
djd01.pl:% name(Atomic, CodeList)  
dsa.pl:%    trace('ProgDefs.Code.F2'),
programs.pl::- discontiguous 'programs.CompileObjectCode.P1'/1. %% added djd
programs.pl::- discontiguous '~programs.CompileObjectCode.P1'/1. %% added djd
programs.pl:'programs.CompileObjectCode.P1'('avlTrees.Empty.C0').
programs.pl:'~programs.CompileObjectCode.P1'('avlTrees.Empty.C0').
programs.pl:'programs.CompileObjectCode.P1'('avlTrees.Tree.F4'(A,B,'ProgDefs.Code.F2'(C,D),E)) :-
programs.pl:        'programs.CompileObjectCode.P1'(A),
programs.pl:        'programs.CompileObjectCode.P1'(E).
programs.pl:'~programs.CompileObjectCode.P1'('avlTrees.Tree.F4'(A,B,'ProgDefs.Code.F2'(C,D),E)) :-
programs.pl:        '~programs.CompileObjectCode.P1'(A),
programs.pl:        '~programs.CompileObjectCode.P1'(E).
programs.pl:        'programs.CompileObjectCode.P1'(B).
programs.pl:        '~programs.CompileObjectCode.P1'(B).
programs.pl:        'SharedPrograms':'Sharedprograms.avlFind.P3'(B, C, 'ProgDefs.Code.F2'(_,I)),
programs.pl:        'SharedPrograms':'~Sharedprograms.avlFind.P3'(B, C, 'ProgDefs.Code.F2'(_,I)),
programs.pl:        'avlTrees':'avlTrees.avlSearch.P3'(C, D, 'ProgDefs.Code.F2'(_,J)),
programs.pl:        'avlTrees':'~avlTrees.avlSearch.P3'(C, D, 'ProgDefs.Code.F2'(_,J)),
programs.pl:        'avlTrees':'avlTrees.avlUpdate.P5'(M, B, 'ProgDefs.Code.F2'(L,N), I, 'ProgDefs.Code.F2'(_,O)),
programs.pl:        'avlTrees':'~avlTrees.avlUpdate.P5'(M, B, 'ProgDefs.Code.F2'(L,N), I, 'ProgDefs.Code.F2'(_,O)),
programs.pl:        'avlTrees':'avlTrees.avlUpdate.P5'(D, E, 'ProgDefs.Code.F2'(H,I), G, 'ProgDefs.Code.F2'(_,J)),
programs.pl:        'avlTrees':'~avlTrees.avlUpdate.P5'(D, E, 'ProgDefs.Code.F2'(H,I), G, 'ProgDefs.Code.F2'(_,J)),
programs.pl:        'avlTrees':'avlTrees.avlUpdate.P5'(P, B, 'ProgDefs.Code.F2'(O,Q), I, 'ProgDefs.Code.F2'(_,R)),
programs.pl:        'avlTrees':'~avlTrees.avlUpdate.P5'(P, B, 'ProgDefs.Code.F2'(O,Q), I, 'ProgDefs.Code.F2'(_,R)),
programs.pl:        'avlTrees':'avlTrees.avlUpdate.P5'(L, B, 'ProgDefs.Code.F2'(K,M), G, 'ProgDefs.Code.F2'(_,N)),
programs.pl:        'avlTrees':'~avlTrees.avlUpdate.P5'(L, B, 'ProgDefs.Code.F2'(K,M), G, 'ProgDefs.Code.F2'(_,N)),
programs.pl:        'avlTrees':'avlTrees.avlSearch.P3'(C, D, 'ProgDefs.Code.F2'(_,J)),
programs.pl:        'avlTrees':'~avlTrees.avlSearch.P3'(C, D, 'ProgDefs.Code.F2'(_,J)),
programs.pl:        'avlTrees':'avlTrees.avlSearch.P3'(C, A, 'ProgDefs.Code.F2'(_,D)),
programs.pl:        'avlTrees':'~avlTrees.avlSearch.P3'(C, A, 'ProgDefs.Code.F2'(_,D)),
programs.pl:'programs.EnsureCompiled.P3'(Module, Version, Code) :-
programs.pl:   ; user:compile_object_module(Module, Code),
programs.pl:'~programs.EnsureCompiled.P3'(Module, Version, Code) :-
programs.pl:   'programs.EnsureCompiled.P3'(Module, Version, Code).
scriptsIO.pl:			GoalLanguage, Code),
scriptsIO.pl:	read(Stream, Code)
scriptsIO.pl:				GoalLanguage, Code),
scriptsIO.pl:   write_canonical(PrologStream, Code),
scripts.pl:        'SharedPrograms':'SharedPrograms.avlFind.P3'(B, C, 'ProgDefs.Code.F2'(_,H)),
scripts.pl:        'SharedPrograms':'~SharedPrograms.avlFind.P3'(B, C, 'ProgDefs.Code.F2'(_,H)),
scripts.pl:        'SharedPrograms':'SharedPrograms.avlFind.P3'(B, E, 'ProgDefs.Code.F2'(_,H)),
scripts.pl:        'SharedPrograms':'~SharedPrograms.avlFind.P3'(B, E, 'ProgDefs.Code.F2'(_,H)),
scripts.pl:        'SharedPrograms':'SharedPrograms.avlFind.P3'(B, C, 'ProgDefs.Code.F2'(_,H)),
scripts.pl:        'SharedPrograms':'~SharedPrograms.avlFind.P3'(B, C, 'ProgDefs.Code.F2'(_,H)),
scripts.pl:        'SharedPrograms':'SharedPrograms.avlFind.P3'(E, I, 'ProgDefs.Code.F2'(L,M)),
scripts.pl:        'avlTrees':'avlTrees.avlUpdate.P5'(E, I, 'ProgDefs.Code.F2'(L,V), H, _).
scripts.pl:        'SharedPrograms':'~SharedPrograms.avlFind.P3'(E, I, 'ProgDefs.Code.F2'(L,M)),
scripts.pl:        'avlTrees':'~avlTrees.avlUpdate.P5'(E, I, 'ProgDefs.Code.F2'(L,V), H, _).
scripts.pl:        'SharedPrograms':'SharedPrograms.avlFind.P3'(E, H, 'ProgDefs.Code.F2'(K,L)),
scripts.pl:        'avlTrees':'avlTrees.avlUpdate.P5'(E, H, 'ProgDefs.Code.F2'(K,T), G, _).
scripts.pl:        'SharedPrograms':'~SharedPrograms.avlFind.P3'(E, H, 'ProgDefs.Code.F2'(K,L)),
scripts.pl:        'avlTrees':'~avlTrees.avlUpdate.P5'(E, H, 'ProgDefs.Code.F2'(K,T), G, _).
scripts.pl:        user:goedel_freeze(ground([B,A]), user:goedel_not(('avlTrees':'~avlTrees.avlMember.P3'(B,_,C),user:goedel_freeze(ground([C,A]),user:goedel_not('Scripts':'~scripts.SymbolFreeInModuleCode.P2'(A,C)))))).
scripts.pl:        user:goedel_freeze(ground([B,A]), user:goedel_not(('avlTrees':'~avlTrees.avlMember.P3'(B,_,C),user:goedel_freeze(ground([C,A]),user:goedel_not('Scripts':'~scripts.SymbolFreeInModuleCode.P2'(A,C)))))).
scripts.pl:        'avlTrees':'avlTrees.avlAmend.P6'(E, I, 'ProgDefs.Code.F2'(M,N), 'ProgDefs.Code.F2'(0,L), H, 'ProgDefs.Code.F2'(M,O)),
scripts.pl:        'avlTrees':'~avlTrees.avlAmend.P6'(E, I, 'ProgDefs.Code.F2'(M,N), 'ProgDefs.Code.F2'(0,L), H, 'ProgDefs.Code.F2'(M,O)),
scripts.pl:        'avlTrees':'avlTrees.avlAmend.P6'(E, H, 'ProgDefs.Code.F2'(L,M), 'ProgDefs.Code.F2'(0,K), G, 'ProgDefs.Code.F2'(L,N)),
scripts.pl:        'avlTrees':'~avlTrees.avlAmend.P6'(E, H, 'ProgDefs.Code.F2'(L,M), 'ProgDefs.Code.F2'(0,K), G, 'ProgDefs.Code.F2'(L,N)),
scripts.pl:'scripts.SymbolFreeInModuleCode.P2'(A, 'ProgDefs.Code.F2'(_,B)) :-
scripts.pl:'~scripts.SymbolFreeInModuleCode.P2'(A, 'ProgDefs.Code.F2'(_,B)) :-
scripts.pl:        'avlTrees':'avlTrees.avlSearch.P3'(C, F, 'ProgDefs.Code.F2'(_,I)),
scripts.pl:        'avlTrees':'~avlTrees.avlSearch.P3'(C, F, 'ProgDefs.Code.F2'(_,I)),
sharedPrograms.pl:        user:goedel_freeze(ground([A]), ('SharedPrograms':'~sharedPrograms.SystemModule.P1'(A),true->'SharedPrograms':'sharedPrograms.SystemModuleRep.P4'(A,H,I,J),'avlTrees':'avlTrees.avlInsert.P4'(B,A,H,K),'avlTrees':'avlTrees.avlInsert.P4'(C,A,I,L),'avlTrees':'avlTrees.avlInsert.P4'(D,A,'ProgDefs.Code.F2'(0,J),M),'SharedPrograms':'sharedPrograms.AddOtherModules.P7'(H,K,L,M,E,F,G);'avlTrees':'avlTrees.avlInsert.P4'(B,A,'ProgDefs.ModDef.F4'('ProgDefs.NormalKind.C0',[],[],[]),E),F=C,'avlTrees':'avlTrees.avlIsEmpty.P1'(N),'SharedPrograms':'sharedPrograms.NextModuleVersion.P2'(A,O),'avlTrees':'avlTrees.avlInsert.P4'(D,A,'ProgDefs.Code.F2'(O,N),G))).
sharedPrograms.pl:        user:goedel_freeze(ground([A]), ('SharedPrograms':'~sharedPrograms.SystemModule.P1'(A),true->'SharedPrograms':'~sharedPrograms.SystemModuleRep.P4'(A,H,I,J),'avlTrees':'~avlTrees.avlInsert.P4'(B,A,H,K),'avlTrees':'~avlTrees.avlInsert.P4'(C,A,I,L),'avlTrees':'~avlTrees.avlInsert.P4'(D,A,'ProgDefs.Code.F2'(0,J),M),'SharedPrograms':'~sharedPrograms.AddOtherModules.P7'(H,K,L,M,E,F,G);'avlTrees':'~avlTrees.avlInsert.P4'(B,A,'ProgDefs.ModDef.F4'('ProgDefs.NormalKind.C0',[],[],[]),E),F=C,'avlTrees':'~avlTrees.avlIsEmpty.P1'(N),'SharedPrograms':'~sharedPrograms.NextModuleVersion.P2'(A,O),'avlTrees':'~avlTrees.avlInsert.P4'(D,A,'ProgDefs.Code.F2'(O,N),G))).
sharedPrograms.pl:        user:goedel_freeze(ground([I,C,D,H]), if((('avlTrees':'~avlTrees.avlSearch.P3'(C,D,'ProgDefs.Code.F2'(_,N)),'avlTrees':'~avlTrees.avlSearch.P3'(N,H,O),'SharedPrograms':'~sharedPrograms.FindPredDef.P3'(I,O,'ProgDefs.PredDef.F4'(I,_,P,Q))),true),(user:goedel_freeze(ground([L]),(L='ProgDefs.ClosedKind.C0',true->R=P;'Lists':'Lists.Append.P3'(P,Q,R))),'SharedPrograms':'sharedPrograms.ReformatDelays.P3'(R,F,G)),(F=[],G=[]))).
sharedPrograms.pl:        user:goedel_freeze(ground([I,C,D,H]), if((('avlTrees':'~avlTrees.avlSearch.P3'(C,D,'ProgDefs.Code.F2'(_,N)),'avlTrees':'~avlTrees.avlSearch.P3'(N,H,O),'SharedPrograms':'~sharedPrograms.FindPredDef.P3'(I,O,'ProgDefs.PredDef.F4'(I,_,P,Q))),true),(user:goedel_freeze(ground([L]),(L='ProgDefs.ClosedKind.C0',true->R=P;'Lists':'~Lists.Append.P3'(P,Q,R))),'SharedPrograms':'~sharedPrograms.ReformatDelays.P3'(R,F,G)),(F=[],G=[]))).
sharedPrograms.pl:        'avlTrees':'avlTrees.avlInsert.P4'(H, A, 'ProgDefs.Code.F2'(C,I), F),
sharedPrograms.pl:        'avlTrees':'~avlTrees.avlInsert.P4'(H, A, 'ProgDefs.Code.F2'(C,I), F),
system.pl:'ParserPrograms.DecompileExportCode.P4'('avlTrees.Empty.C0', _, _, _).
system.pl:'ParserPrograms.DecompileExportCode.P4'('avlTrees.Tree.F4'(A,_,B,C), D, E, F) :-
system.pl:        'ParserPrograms.DecompileExportCode.P4'(A, D, E, F),
system.pl:        'ParserPrograms.DecompileExportCode.P4'(C, D, E, F).
system.pl:        'avlTrees.avlSearch.P3'(I, A, 'ProgDefs.Code.F2'(_,O)),
system.pl:            'ParserPrograms.DecompileExportCode.P4'(P, E, A, Q),
system.pl:            'ParserPrograms.DecompileLocalCode.P4'(P, E, A, R),
system.pl:            'avlTrees.avlSearch.P3'(I, A, 'ProgDefs.Code.F2'(_,N)),
system.pl:            'ParserPrograms.DecompileLocalCode.P4'(O, D, A, G),
system.pl:'ParserPrograms.DecompileLocalCode.P4'('avlTrees.Empty.C0', _, _, _).
system.pl:'ParserPrograms.DecompileLocalCode.P4'('avlTrees.Tree.F4'(A,_,B,C), D, E, F) :-
system.pl:        'ParserPrograms.DecompileLocalCode.P4'(A, D, E, F),
system.pl:        'ParserPrograms.DecompileLocalCode.P4'(C, D, E, F).
system.pl:        'ParserPrograms.WriteCodes.P2'(G, F),
system.pl:            'ParserPrograms.WriteCodes.P2'(H, F)
system.pl:        'avlTrees.avlUpdate.P5'(D, E, 'ProgDefs.Code.F2'(K,L), J, 'ProgDefs.Code.F2'(K,M)),
system.pl:'ParserPrograms.QuickInsertModuleCode.P4'('ProgDefs.Program.F4'(A,B,C,D), E, F, 'ProgDefs.Program.F4'(A,B,C,G)) :-
system.pl:        'avlTrees.avlInsert.P4'(D, E, 'ProgDefs.Code.F2'(0,F), G).
system.pl:        'avlTrees.avlUpdate.P5'(D, E, 'ProgDefs.Code.F2'(J,K), I, 'ProgDefs.Code.F2'(J,L)),
system.pl:'ParserPrograms.WriteCodes.P2'([], _).
system.pl:'ParserPrograms.WriteCodes.P2'([A|B], C) :-
system.pl:        'ParserPrograms.WriteCodes.P2'(B, C).
system.pl:            'avlTrees.avlInsert.P4'(D, A, 'ProgDefs.Code.F2'(0,J), M),
system.pl:            'avlTrees.avlInsert.P4'(D, A, 'ProgDefs.Code.F2'(O,N), G)
system.pl:        (   'avlTrees.avlSearch.P3'(C, D, 'ProgDefs.Code.F2'(_,N)),
system.pl:        'avlTrees.avlInsert.P4'(H, A, 'ProgDefs.Code.F2'(C,I), F),
toplev.pl:% name(Atomic, CodeList)  
toplev.pl:% name(Atomic, CodeList)  
toplev.pl:% string_codes(String,Codes)
toplev.pl:% name(Atomic, CodeList)  
toplev.pl:     ;  system_module(GModuleName, ModuleDef, ModuleDescriptor, ModuleCode),
toplev.pl:	'ParserPrograms.QuickInsertModuleCode.P4'(Prog3, GModuleName, ModuleCode,
toplev.pl:           , 'ProgDefs.Code.F2'(_, Code)),
toplev.pl:        write_canonical(Stream, Code),
toplev.pl:   'SharedPrograms.TermToIntList.P4'(Program, Module, Var, VarCodes),
toplev.pl:   'SharedPrograms.TermToIntList.P4'(Program, Module, Ground, ValCodes),
toplev.pl:   write_codes(VarCodes),
toplev.pl:   write_codes(ValCodes).
toplev.pl:          -> user:system_module(GModuleName, ModuleDef, ModuleDes, Codes),
toplev.pl:			'ProgDefs.Code.F2'(0, Codes), StatementsAndDelays3)
toplev.pl:	     read(Stream, Codes),
toplev.pl:		'ProgDefs.Code.F2'(Version, Codes), StatementsAndDelays3)
