format = ws. text. %%root % PTANǠ i th Prolog- timin analysi tool I consists of (i th堠 predicat ptang/ tha yo us堠 i application programs and (ii) the control panel obtained from the tools menu. Yo ca als ge hel a an tim b pressin th hel key thi wil giv yo hel abou th ite whose window is displayed. %7_ptang_3 %7_ptang_hiw %%7_ptang_hiw % Whe PTANǠ i installe routin i se u tha wil interrup th Prolog- syste approximatel 1 time pe second O eac interrup th routin look a eac o 1 switches whic ma b o o off Normall eac switc i associate wit registe an th registe i incremente i th switch is on. Howeve i i possibl t chang th relationshi o switche an register b specifying say tha registe i t b incremente i switc i o an switc 1 i off Thi allow mor comple conditions to be timed. %7_ptang_hiw_2 %%7_ptang_hiw_2 % Ther ar tw way th switche ca b used Th programme ca switc the o an of eithe fro th contro pane o b includin a appropriat cal i th program O switc ma b assigne t numbe o syste predicates an wil b switche on when one of them is executing. Th tw mode o us shoul no b mixed Switc 1 i switche o durin garbag collectio an ma no be used for system predicates. %7_ptang_hiw_3 %%7_ptang_hiw_3 % T ge started us th contro pane t se an syste switche an ad statement t you progra퍊usin ptang/ t switc othe switches Kee on switc ( say permanentl o t measur tota time Instal ptan whe yo wan t star th cloc an remov i a th end The us th contro pane t examine the registers. %7_ptang_hiw %7_ptang_3 %%7_ptang_3 % Th followin i summar o th predicat ptang/3 Alway us ptang/ direc whe timin i o - i executes very fast. The form of a call to ptang/3 is ptang(Function,Reg_or_Switch,Value) wher Functio i th numbe o on o th 1 ptan subfunctions Reg_or_Switc i a intege fro t 1 identifyin PTAN registe o switc an Valu is a function-related value. %7_ptang_3_1 %7_ptang_3_2 %7_ptang_3_3 %7_ptang_3_4 %7_ptang_3_5 %%7_ptang_3_1 % Function 0 Install PTANG. Other arguments ignored. Function 1 Remove PTANG. Other arguments ignored. Function 2 Set register Reg_or_Switch to Value %7_ptang_3_2 %%7_ptang_3_2 % Function 3 Match register Reg_or_Switch with Value Function 4 Set AND mask for register Reg_or_Switch to value Function 5 Match AND mask for register Reg_or_Switch with value %7_ptang_3_3 %7_masks %%7_ptang_3_3 % Function 6 Set XOR mask for register Reg_or_Switch to value Function 7 Match XOR mask for register Reg_or_Switch with value Function 8 Switc switc Reg_or_Switc o (Value=1 o of (Value=0) %7_ptang_3_4 %7_masks %%7_ptang_3_4 % Function 9 Ge switc settin fo switc Reg_or_Switc (1=on 0=off) Function 10 Attac switc Reg_or_Switc t predicat Value Us 15 to clear switch from Value. Function 11 Succee i switc Reg_or_Switc i attache t Value. %7_ptang_3_5 %%7_ptang_3_5 % Function 12 Ge installe state Reg_or_Switc ignored Valu 1 (installed) and 0 (uninstalled) %%7_masks % Whe th PTANǠ interrup occur th interrup routin look a th AN mas (A an th XOҠ mas (X fo eac registe an th switche S Th register is incremented iff (S AND A) XOR X i zero Normall an fo registe hav bi ΍ set and other bits clear. I i easie t se condition fro th fron pane than to use this call. %%7_ptang_regs % Th registe windo i use t rea th valu o register and to get and set the condition. Th registe windo ha fou fields th number th name th valu an th condition Mov betwee fields with cursor_up and cursor_down. Th堠 numbe ma b change whe selecte䠠 b cursor_lef an cursor_right Th nam ma b edited th nam i fo you us onl an ha n effect Th valu ca b cleare b pressin space Mov betwee bit o th conditio wit curso lef and right. Set with space. %7_ptang_regs_1 %%7_ptang_regs_1 % I bi i the thi registe doesn' car abou switc N I i i the thi registe require switch N to be off; if 2, on. Normall eac registe require switc t b o and doesn't care about the rest. %7_ptang_regs %%7_ptang_switches % Th switche windo enable yo t switc switche on and off. Mov堠 betwee switche usin砠 cursor_lef an cursor_right. Toggle switch using the space bar. Leav on switc o al th tim fo tota time Remembe switc 1 i attache t th garbag collector. %%7_reset % Rese set al th register t 0 Switche an masks are unaffected. %%7_preds % Us th predicat men t attac switche t built- in predicates. Options are: All Clear Standard seLect %7_preds_all %7_preds_clear %7_preds_standard %7_select %%7_install % Instal install th PTAN interrup an therefor start timing Yo wil usuall wan t d thi i you progra rathe tha i th contro panel s a no t tim th tim spen i leavin th menu Fo this use ptang/3 call 0. %7_ptang_3 %%7_remove % Remov remove th PTAN interrup an therefor stop timing Yo wil usuall wan t d thi i you progra rathe tha i th contro panel s a no t tim th tim spen i accessin th menu Fo thi us ptang/ cal 1. %7_ptang_3 %%7_load % Th loa windo allow yo t loa se o PTANǍ setting fro fil save usin th sav option Th onl accessibl fiel i th name I th nam i wron yo ge chanc t edi it pres an ke othe tha escap whe th erro messag appears Use escape to get out. Th defaul extensio i PTG Yo ma ge synta error i yo hac PT file aroun afte the ar saved, though the format is pretty self-explanatory. %%7_save % Th sav windo allow yo t sav se o PTANǍ setting i fil fo late loading Th onl accessibl fiel i th name I th nam i wron yo ge chanc t edi it pres an ke othe tha escap whe th erro messag appears Us半escap t ge out. Th defaul extensio i PTG %%7_exit % Leave PTANG control panel. %%7_preds_clear % Clear all switches associated with predicates. %%7_preds_all % Attac switc t al predicates Thi i quic wa t fin ou ho muc tim a applicatio i spendin i th system i it' no much mayb yo don't want to carry on. %%7_preds_standard % Loa standar se o predicat classifications The groups are: Tota젠 time Logic Arithmetic Assert Clause/predicate Retract Hashing Strin ops Modules Low-leve I/O Formatte I/O Streams Files, Windows, Other, Garbage. T remin yo o these registe title ar loaded Th standar se allow yo t d quic timin analysi o syste dependencies Yo ca the fine- tun the usin th selec option. %%7_preds_select % Wit th selec windo yo ca chang th setting o individua predicates Us th cursor_u an dow key t toggl betwee th predicat an it switch Us th lef an righ key t advanc predicat o switch Th titl i an o th relevan registe i displaye bu canno b edited Typin lette a th predicat fiel advance t th firs predicat that starts with that letter. No al syste predicate appea here Se nex screen for why. %7_preds_select_2 %%7_preds_select_2 % Som syste predicate ar implemente i Prolog I i no possibl t assig switche t these I othe case (read fo instance severa predicate ar define i term o on primitive the mus al b assigne t th sam switch s onl read idisplayed Certai predicate (! cal ... ar excluded for other technical reasons. %7_preds_select %%7_ups_select % Wit蠠 th堠 use selec windo yo ca selec predicate i th curren outpu modul fo timing Yo shoul rea th qualification abou thi i th PTAN referenc manua an i particula remembe t remove all timing points before saving the module. Ther i paus whe yo selec thi windo whil th syste sort th predicate int alphabetica order Afte thi th key operat a fo syste predicate select. %7_preds_select